Metacircularity in the Polymorphic lambda-Calculus.

Frank Pfenning Peter Lee

Published in: Theor. Comput. Sci. (1991)

Keyphrases

lambda calculus
programming language
database query languages
type checking
predicate calculus
program understanding
expert systems
complex objects
database
general purpose
higher order
temporal logic
reverse engineering
query processor