Login / Signup

Efficient Self-Interpretations in lambda Calculus.

Torben Æ. Mogensen
Published in: J. Funct. Program. (1992)
Keyphrases
  • lambda calculus
  • databases
  • general purpose
  • programming language