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

From CERES
Revision as of 05:45, 26 June 2014 by Slawek (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
Retrieved from "https://wiki.hh.se/ceres/index.php?title=Publications:Multi-Stage_Programming_:_Axiomatization_and_Type-Safety&oldid=4295"