Olivier Danvy. Type-Directed Partial Evaluation. In POPL. pages 242-257, 1996. [doi]
@inproceedings{Danvy96, title = {Type-Directed Partial Evaluation}, author = {Olivier Danvy}, year = {1996}, doi = {10.1145/237721.237784}, url = {http://doi.acm.org/10.1145/237721.237784}, tags = {partial evaluation}, researchr = {https://researchr.org/publication/Danvy96}, cites = {0}, citedby = {0}, pages = {242-257}, booktitle = {POPL}, }