Publications:Multi-Stage Programming : Axiomatization and Type-Safety
From CERES
| Title | Multi-Stage Programming : Axiomatization and Type-Safety |
|---|---|
| Author | Walid Taha and Zine El-Abidine Benaissa and Sheard Tim |
| Year | 1998 |
| PublicationType | Conference Paper |
| Journal | |
| HostPublication | |
| DOI | |
| Conference | ICALP'98. International Colloquium on Automata, Languages, and Programming |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588305 |
| Abstract |
