Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary)

A. J. Kfoury Jerzy Tiuryn

Published in: LICS (1990)

Keyphrases

lambda calculus
database query languages
type checking
programming language
query processor
integrity constraints
artificial intelligence
pairwise
predicate calculus