Rewriting with Extensional Polymorphic Lambda-Calculus.

Roberto Di Cosmo Delia Kesner

Published in: CSL (1995)

Keyphrases

lambda calculus
database query languages
type checking
programming language
predicate calculus
higher order
conjunctive queries
program understanding
complex objects
query rewriting
data structure
data types
datalog programs
general purpose
expressive power
relational calculus