Type theory as a framework for modelling and programming
Paper in proceeding, 2018
In the context provided by the proceedings of the UVMP track of ISoLA 2016, we propose Type Theory as a suitable framework for both modelling and programming. We show that it fits most of the requirements put forward on such frameworks by Broy et al. and discuss some of the objections that can be raised against it.
Dependent Types
Software Technology
Specification
Domain-specific languages
Functional Programming
Author
Cezar Ionescu
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Patrik Jansson
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Nicola Botta
Potsdam Institute for Climate Impact Research
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 11244 LNCS 1 119-133978-3-030-03417-7 (ISBN)
International Symposium on Leveraging Applications of Formal Methods
Limassol, Cyprus,
Limassol, Cyprus,
Centre of excellence for Global Systems Science (CoeGSS)
European Commission (EC) (EC/H2020/676547), 2015-10-01 -- 2018-09-30.
Areas of Advance
Information and Communication Technology
Roots
Basic sciences
Subject Categories
Information Science
Computer Science
Computer Systems
DOI
10.1007/978-3-030-03418-4_8