Static and dynamic semantics processing (1991)

by C Consel, O Danvy
Venue:Proceedings 18th Annual ACM Symposium on Principles of Programming Languages