A Categorical Analysis of Multi-Level Languages (Extended Abstract) (1999)

by Zine El-abidine Benaissa , Eugenio Moggi , Walid Taha , Tim Sheard
Citations:10 - 7 self