An efficient interpreter for the lambda-calculus

This publication has 10 references indexed in Scilit:

• Prolegomena to a theory of mechanized formal reasoning
  Artificial Intelligence, 1980
• Stack implementation of shallow binding in languages with mixed scoping
  Information Processing Letters, 1979
• History of LISP
  ACM SIGPLAN Notices, 1978
• A partial evaluator, and its use as a programming tool
  Artificial Intelligence, 1977
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• Correct and optimal implementations of recursion in a simple programming language
  Journal of Computer and System Sciences, 1974
• A CUCH-machine: The automatic treatment of bound variables
  International Journal of Parallel Programming, 1972
• Logic for Computable Functions Description of a Machine Implementation
  Published by Defense Technical Information Center (DTIC) ,1972
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
  Indagationes Mathematicae, 1972
• The function of FUNCTION in LISP or why the FUNARG problem should be called the environment problem
  ACM SIGSAM Bulletin, 1970