What Are Polymorphically-Typed Ambients?

Torben Amtoft A. J. Kfoury Santiago M. Pericás-Geertsen

Published in: ESOP (2001)

Keyphrases

higher order
lambda calculus
databases
machine learning
artificial intelligence
case study
lower bound
relational databases
viewpoint
domain knowledge
fixed order