Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages.
Claudio HermidaUday S. ReddyEdmund P. RobinsonPublished in: Electron. Notes Theor. Comput. Sci. (2014)
Keyphrases
- programming language
- lambda calculus
- general purpose
- object oriented
- denotational semantics
- logical theories
- programming environment
- logic programming
- strongly typed
- high level
- software engineering
- database languages
- data abstraction
- object oriented concepts
- object oriented programming
- machine learning
- concurrent programming
- functional programming
- specification language
- databases
- high level programming language
- program code
- database query languages
- language constructs
- predicate calculus
- data model