A call-by-value lambda-calculus with lists and control

Robbert Krebbers

Published in: CL&C (2012)

Keyphrases

lambda calculus
programming language
query language
natural language processing
general purpose
data management
dynamic systems