Login / Signup

A Fully Abstract Translation between a Lambda-Calculus with Reference Types and Standard ML.

Eike RitterAndrew M. Pitts
Published in: TLCA (1995)
Keyphrases
  • lambda calculus
  • programming language
  • databases
  • database systems
  • data warehouse
  • natural language processing
  • higher level