The Typed Polymorphic Label-Selective lambda-Calculus.

Jacques Garrigue Hassan Aït-Kaci

Published in: POPL (1994)

Keyphrases

lambda calculus
programming language
database query languages
type checking
predicate calculus
higher order
program understanding
expert systems
complex objects
databases
pairwise
relational databases
formal model
query processor