Browse wiki

From CERES
Jump to: navigation, search
Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming
Author Christiano Calcagno + , Eugenio Moggi + , Walid Taha +
Conference ICALP'00. International Colloquium on Automata, Languages, and Programming
Diva http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588297
PublicationType Conference Paper  +
Title Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming  +
Year 2000  +
Has queryThis property is a special property in this wiki. Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming + , Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming + , Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming + , Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming + , Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming + , Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming + , Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming + , Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming + , Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming + , Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 26 June 2014 03:44:46  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Retrieved from "https://wiki.hh.se/ceres/index.php/Special:Browse/Publications:Closed-20Types-20as-20a-20Simple-20Approach-20to-20Safe-20Imperative-20Multi-2DStage-20Programming"