Semantics-based compiling: A case study in type-directed partial evaluation (1996)

by Olivier Danvy, René Vestergaard
Venue:Lecture Notes in Computer Science