Cristiano Calcagno, Eugenio Moggi. Multi-Stage Imperative Languages: A Conservative Extension Result. In Walid Taha, editor, Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings. Volume 1924 of Lecture Notes in Computer Science, pages 92-107, Springer, 2000. [doi]
Abstract is missing.