A categorical analysis of multi-level languages (extended abstract (1998)

by Zine El-Abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard