A Partial Evaluator for the Untyped lambda-Calculus.

Carsten K. Gomard Neil D. Jones

Published in: J. Funct. Program. (1991)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
program understanding
higher order
databases
database systems