Kenichi Asai. Extracting a call-by-name partial evaluator from a proof of termination. In Manuel V. Hermenegildo, Atsushi Igarashi, editors, Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019. pages 61-67, ACM, 2019. [doi]
@inproceedings{Asai19, title = {Extracting a call-by-name partial evaluator from a proof of termination}, author = {Kenichi Asai}, year = {2019}, doi = {10.1145/3294032.3294084}, url = {https://doi.org/10.1145/3294032.3294084}, researchr = {https://researchr.org/publication/Asai19}, cites = {0}, citedby = {0}, pages = {61-67}, booktitle = {Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019}, editor = {Manuel V. Hermenegildo and Atsushi Igarashi}, publisher = {ACM}, isbn = {978-1-4503-6226-9}, }