Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann.
Ugo Dal LagoPublished in: Math. Struct. Comput. Sci. (2022)
Keyphrases
- programming language
- lambda calculus
- higher order
- object oriented
- general purpose
- strongly typed
- software engineering
- high level
- specification language
- programming environment
- object oriented programming
- logic programming
- database languages
- data abstraction
- predicate calculus
- open source
- artificial intelligence
- denotational semantics
- high level programming language
- concurrent programming
- database
- database query languages
- stored procedures
- application development
- machine learning