Login / Signup

Functional Compilation from the Standard ML Core Language to Lambda Calculus.

Nick Rothwell
Published in: Functional Programming (1991)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • complex objects
  • natural language
  • program understanding
  • database query languages
  • general purpose