Login / Signup

Stackability in the Simply-Typed Call-by-Value Lambda Calculus.

Anindya BanerjeeDavid A. Schmidt
Published in: SAS (1994)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • program understanding
  • higher order
  • database query languages
  • complex objects
  • relational databases
  • data model