Stackability in the Simply-Typed Call-by-Value lambda Calculus.

Anindya Banerjee David A. Schmidt

Published in: Sci. Comput. Program. (1998)

Keyphrases

lambda calculus
programming language
database query languages
predicate calculus
program understanding
complex objects
higher order
wordnet
first order logic