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

Cristiano Calcagno, Eugenio Moggi, Walid Taha (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics