Sign in

Relational Parametricity for a Polymorphic Linear Lambda Calculus.

Jianzhou ZhaoQi ZhangSteve Zdancewic
Published in: APLAS (2010)
Keyphrases
  • lambda calculus
  • database query languages
  • relational databases
  • programming language
  • database systems
  • database
  • type checking
  • pairwise
  • higher order
  • complex objects
  • predicate calculus