Call by Name, Assignment, and the Lambda Calculus.

Martin Odersky Dan Rabin Paul Hudak

Published in: POPL (1993)

Keyphrases

artificial intelligence
lambda calculus
programming language
predicate calculus
higher order
databases
database query languages
natural language processing
complex objects
program understanding
high level
relational databases
knowledge representation
general purpose
database management systems