Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming

From CERES
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming
Author Christiano Calcagno and Eugenio Moggi and Walid Taha
Year 2000
PublicationType Conference Paper
Journal
HostPublication
DOI
Conference ICALP'00. International Colloquium on Automata, Languages, and Programming
Diva url http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588297
Abstract