Abstracting abstract machines (2010)

by D Van Horn, M Might
Venue:In Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP ’10