Simulating eta-expansions with beta-reductions in the Second-Order Polymorphic lambda-calculus.

Published in: LFCS (1997)

Keyphrases

lambda calculus
higher order
programming language
predicate calculus
database query languages
type checking
complex objects
general purpose
database
efficient computation
program understanding
data structure
data sources
first order logic