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, }