Cubical Agda: A dependently typed programming language with univalence and higher inductive types.
Andrea VezzosiAnders MörtbergAndreas AbelPublished in: J. Funct. Program. (2021)
Keyphrases
- programming language
- lambda calculus
- object oriented
- general purpose
- high level
- strongly typed
- programming environment
- semantic data models
- software engineering
- language constructs
- database languages
- specification language
- machine learning
- functional programming
- computer programs
- logic programming
- artificial intelligence
- denotational semantics
- relational databases
- high level programming language