Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus.

Published in: ESOP (1994)

Keyphrases

lambda calculus
higher order
programming language
predicate calculus
database query languages
complex objects
program understanding
type checking
database
general purpose
open source
artificial intelligence
high level
software engineering
co occurrence