Principals in Programming Languages: A Syntactic Proof Technique.
Steve ZdancewicDan GrossmanJ. Gregory MorrisettPublished in: ICFP (1999)
Keyphrases
- programming language
- object oriented
- general purpose
- functional language
- denotational semantics
- software engineering
- strongly typed
- object oriented programming
- programming environment
- high level
- specification language
- logic programming
- database languages
- theorem proving
- java language
- natural language
- lambda calculus
- object oriented concepts
- computer programs
- theorem prover
- programming language constructs
- databases
- machine learning