A prescriptive framework for designing multi-level lambda-calculi (1997)

by F Nielson, H R Nielson
Venue:In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation