Login / Signup

A simpler lambda calculus.

Barry Jay
Published in: PEPM@POPL (2019)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • higher order
  • databases
  • program understanding
  • relational databases
  • complex objects
  • high level