Carsten K. Gomard, Neil D. Jones. A Partial Evaluator for the Untyped lambda-Calculus. Journal of Functional Programming, 1(1):21-69, 1991. [doi]
@article{GomardJ91:0,
title = {A Partial Evaluator for the Untyped lambda-Calculus},
author = {Carsten K. Gomard and Neil D. Jones},
year = {1991},
url = {http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1287732},
tags = {programming languages, data-flow language, data-flow programming, data-flow, source-to-source, compiler, partial evaluation, programming, open-source},
researchr = {https://researchr.org/publication/GomardJ91%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {1},
number = {1},
pages = {21-69},
}