Logical Modalities and Multi-Stage Programming (1999)

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