The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus.

Giuseppe Longo Kathleen Milsted Sergei Soloviev

Published in: Theor. Comput. Sci. (1993)

Keyphrases

lambda calculus
programming language
database query languages
predicate calculus
type checking
program understanding
data structure
source code
database
query language
software engineering
complex objects
semantic network