Login / Signup

Region Analysis and the Polymorphic Lambda Calculus.

Anindya BanerjeeNevin HeintzeJon G. Riecke
Published in: LICS (1999)
Keyphrases
  • lambda calculus
  • databases
  • relational databases