Dependently-Typed Programming with Logical Equality Reflection.
Yiyun LiuStephanie WeirichPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- lambda calculus
- programming language
- database query languages
- programming environment
- program understanding
- higher order
- object oriented programming
- high level language
- databases
- object oriented
- machine learning
- logic programs
- predicate calculus
- logical representation
- computer science
- fixed order
- programming education
- artificial intelligence