Login / Signup

Single-Threaded Polymorphic Lambda Calculus

Juan C. GuzmánPaul Hudak
Published in: LICS (1990)
Keyphrases
  • lambda calculus
  • case study
  • programming language
  • database
  • data structure
  • data model
  • predicate calculus