Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums.

Vincent Balat Roberto Di Cosmo Marcelo P. Fiore

Published in: POPL (2004)

Keyphrases

lambda calculus
partial evaluation
database query languages
programming language
explanation based generalization
predicate calculus
type checking
higher order
program understanding
complex objects
database systems
expressive power
formal model
learning algorithm
small number
data sources
artificial intelligence