http://www.pik-potsdam.de PIK Publications   
Display Documents   

   

Home
Help
Collections
People
Search
Fulltext Search
Session History
Load Basket
Login
Name:
Password:
 
Search
People:



ID: 8284.0, PIK / PIK Publications , full text not public
Ionescu, C.; Jansson, P.; Botta, N.
Type Theory as a Framework for Modelling and Programming
In: Leveraging Applications of Formal Methods, Verification and Validation
Ed.: Margaria, T.; Steffen, B.
Cham : Springer
2018. 119-133 p.
Lecture Notes in Computer Science ; 11244
Proceedings 8th International Symposium, ISoLA 2018, Limassol, Cyprus ; Part I
Software technology, Specification Functional programming, Dependent types Domain-specific languages
10.1007/978-3-030-03418-4_8
Doctype: Article in book
Accepted by:  pikadmin (04.12.2018 09:08)
version 2.00b13/16
PP&B