Closed types as a simple approach to safe imperative multi-stage programming (2000)

by Cristiano Calcagno, Eugenio Moggi, Walid Taha
Venue:In the International Colloquium on Automata, Languages, and Programming (ICALP ’00), volume 1853 of Lecture Notes in Computer Science