Multi-Stage Imperative Languages: A Conservative Extension Result

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]

Authors

Cristiano Calcagno

This author has not been identified. Look up 'Cristiano Calcagno' in Google

Eugenio Moggi

This author has not been identified. It may be one of the following persons: Look up 'Eugenio Moggi' in Google