Tim Sheard
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language
PEPM, 1997.
@inproceedings{PEPM-1997-Sheard,
author = "Tim Sheard",
booktitle = "{Proceedings of the Fifth Symposium on Partial Evaluation and Semantics-Based Program Manipulation}",
doi = "10.1145/258993.258999",
isbn = "0-89791-917-3",
pages = "22--35",
publisher = "{ACM}",
title = "{A Type-directed, On-line, Partial Evaluator for a Polymorphic Language}",
year = 1997,
}











