Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation (0)

by Olivier Danvy, René Vestergaard
Venue:Eighth International Symposium on Programming Language Implementation and Logic Programming