Logical modalities and multi-stage programming (1999)

by Zine El-Abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard
Venue:Workshop on Intuitionistic Modal Logics and Applications, IMLA’99