A Type System for a Lambda Calculus with Assignments.

Kung Chen Martin Odersky

Published in: TACS (1994)

Keyphrases

lambda calculus
database query languages
databases
programming language
predicate calculus
database systems
query processing
program understanding