Danvy and René Vestergaard. Semantics-based compiling: A case study in type-directed partial evaluation (0)

by Olivier
Venue:In Herbert Kuchen and Doaitse Swierstra, editors, Eighth International Symposium on Programming Language Implementation and Logic Programming, number 1140 in Lecture