Ulrik Schultz

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation