Self-applicable Online Partial Evaluation of Pure Lambda Calculus

Torben Æ. Mogensen. Self-applicable Online Partial Evaluation of Pure Lambda Calculus. In PEPM. pages 39-44, 1995.

Abstract

Abstract is missing.