Type Theory as a Language Workbench.
Jan de Muijnck-HughesGuillaume AllaisEdwin C. BradyPublished in: Eelco Visser Commemorative Symposium (2023)
Keyphrases
- formal theory
- strongly typed
- programming language
- theoretical basis
- theoretical framework
- general theory
- type checking
- data model
- object oriented
- language learning
- computational linguistics
- human problem solving
- neural network
- database programming language
- mathematical theory
- operational semantics
- logic programming
- natural language
- machine learning