Static and Dynamic Semantics Processing (1991)

by Charles Consel, Olivier Danvy
Venue:Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages