Lambda, the ultimate TA: using a proof assistant to teach programming language foundations.
Benjamin C. PiercePublished in: ICFP (2009)
Keyphrases
- programming language
- lambda calculus
- object oriented
- functional language
- general purpose
- programming environment
- software engineering
- artificial intelligence
- object oriented programming
- high level
- database
- logic programming
- strongly typed
- specification language
- databases
- database language
- linear logic
- computer programs
- data abstraction
- programming tool
- theorem proving
- data model
- concurrent programming
- denotational semantics