Login / Signup
The Blame Theorem for a Linear Lambda Calculus with Type Dynamic.
Luminous Fennell
Peter Thiemann
Published in:
Trends in Functional Programming (2012)
Keyphrases
</>
lambda calculus
databases
case study
database query languages
object oriented
expressive power