A Self-Applicable Partial Evaluator for the Lambda Calculus

Cite this paper

@inproceedings{Jones1990ASP, title={A Self-Applicable Partial Evaluator for the Lambda Calculus}, author={Neil D. Jones and Carsten K. Gomard and Anders Bondorf and Olivier Danvy and Torben {\aE}. Mogensen}, booktitle={ICCL}, year={1990} }