A Monadic Multi-stage Metalanguage (2003)

by Eugenio Moggi, Sonia Fagorzi
Venue:FoSSaCS 2003, LNCS