Login / Signup

Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions.

Mads TofteJean-Pierre Talpin
Published in: POPL (1994)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • complex objects
  • database query languages
  • higher order
  • case study
  • d objects
  • general purpose
  • knowledge representation and reasoning
  • program understanding