Sign in

From Algol to polymorphic linear lambda-calculus.

Peter W. O'HearnJohn C. Reynolds
Published in: J. ACM (2000)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • general purpose
  • higher order
  • database query languages
  • database
  • object oriented
  • integrity constraints
  • complex objects