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.

Possibly Related Publications

The following publications are possibly variants of this publication: