Metacomputation-based compiler architecture (2000)

by W Harrison, S Kamin
Venue:In 5th International Conference on the Mathematics of Program Construction