Relational Parametricity for a Polymorphic Linear Lambda Calculus.

Jianzhou Zhao Qi Zhang Steve Zdancewic

Published in: APLAS (2010)

Keyphrases

lambda calculus
database query languages
relational databases
programming language
database systems
database
type checking
pairwise
higher order
complex objects
predicate calculus