Conference item icon

Conference item

Type theory as a framework for modelling and programming

Abstract:
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.
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Publisher copy:
10.1007/978-3-030-03418-4_8

Authors


More by this author
Institution:
University of Oxford
Division:
ContEd
Department:
Continuing Education
Oxford college:
Linacre College
Role:
Author
Publisher:
Springer Nature Publisher's website
Host title:
Lecture Notes in Computer Science
Journal:
Lecture Notes in Computer Science Journal website
Publication date:
2018-10-28
Acceptance date:
2018-10-29
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
Source identifiers:
983497
Keywords:
Pubs id:
pubs:983497
UUID:
uuid:a02b72ed-040e-4b34-a261-a8f2bfd9397d
Local pid:
pubs:983497
Deposit date:
2019-03-20

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP