A Monadic Multi-stage Metalanguage.

Eugenio Moggi, Sonia Fagorzi

Browse the full FOSSACS paper archive.