John Launchbury
A Strongly-Typed Self-Applicable Partial Evaluator
FPCA, 1991.
@inproceedings{FPCA-1991-Launchbury, author = "John Launchbury", booktitle = "{Proceedings of the Fifth ACM Conference on Functional Programming Languages and Computer Architecture}", doi = "10.1007/3540543961_8", isbn = "3-540-54396-1", pages = "145--164", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Strongly-Typed Self-Applicable Partial Evaluator}", volume = 523, year = 1991, }