Torben Æ. Mogensen. Self-applicable Partial Evaluation for Pure Lambda Calculus. In PEPM. pages 116-121, 1992.
@inproceedings{Mogensen92,
title = {Self-applicable Partial Evaluation for Pure Lambda Calculus},
author = {Torben Æ. Mogensen},
year = {1992},
tags = {partial evaluation},
researchr = {https://researchr.org/publication/Mogensen92},
cites = {0},
citedby = {0},
pages = {116-121},
booktitle = {PEPM},
}