Publications:Multi-Stage Programming : Axiomatization and Type-Safety

From CERES
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

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