Type theory as a framework for modelling and programming
Paper i 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

Författare

Cezar Ionescu

Chalmers, Data- och informationsteknik, Funktionell programmering

Patrik Jansson

Chalmers, Data- och informationsteknik, Funktionell programmering

Nicola Botta

Potsdam-Institut für Klimafolgenforschung (PIK)

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-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)

Europeiska kommissionen (EU) (EC/H2020/676547), 2015-10-01 -- 2018-09-30.

Styrkeområden

Informations- och kommunikationsteknik

Fundament

Grundläggande vetenskaper

Ämneskategorier

Systemvetenskap

Datavetenskap (datalogi)

Datorsystem

DOI

10.1007/978-3-030-03418-4_8

Mer information

Senast uppdaterat

2024-09-23