Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming.

Cristiano Calcagno, Eugenio Moggi, Walid Taha

Browse the full ICALP paper archive.