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

by O Danvy, R Vestergaard
Venue:In Programming Languages: Implementations, Logics, and Programs