Sign in

Interpretations of the gradually-typed lambda calculus.

Jeremy G. SiekRonald Garcia
Published in: Scheme@ICFP (2012)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • program understanding
  • higher order
  • data structure
  • object oriented
  • open source
  • complex objects
  • formal model