Extracting a call-by-name partial evaluator from a proof of termination

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019 ◽

10.1145/3294032.3294084 ◽

2019 ◽

Author(s):

Kenichi Asai

Download Full-text