Logical Modalities and Multi-Stage Programming (1999)

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