Interpretations of the gradually-typed lambda calculus.

Jeremy G. Siek Ronald 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