Type Theory as a Framework for Modelling and Programming.
Cezar IonescuPatrik JanssonNicola BottaPublished in: ISoLA (1) (2018)
Keyphrases
- theoretical framework
- main contribution
- computational model
- database
- conceptual framework
- probabilistic model
- programming language
- computer vision
- programming environment
- general theory
- mathematical framework
- computer programming
- theoretical basis
- theoretical foundation
- logic programming
- software development
- expert systems
- databases