Compiling the Polymorphic Lambda-Calculus.

Spiro Michaylov Frank Pfenning

Published in: PEPM (1991)

Keyphrases

lambda calculus
programming language
database query languages
type checking
predicate calculus
program understanding
general purpose
higher order
complex objects
artificial intelligence
first order logic
data types