A walk in the semantic park (2011)

by O Danvy, J Johannsen, I Zerny
Venue:In Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM