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


Domain-specific languages

Functional Programming


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 1 119-133
978-3-030-03417-7 (ISBN)

International Symposium on Leveraging Applications of Formal Methods
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


Basic sciences

Subject Categories

Information Science

Computer Science

Computer Systems



More information

Latest update