Login / Signup

The Blame Theorem for a Linear Lambda Calculus with Type Dynamic.

Luminous FennellPeter Thiemann
Published in: Trends in Functional Programming (2012)
Keyphrases
  • lambda calculus
  • databases
  • case study
  • database query languages
  • object oriented
  • expressive power