T.: Closed types for a safe imperative MetaML (2003)

by C Calcagno, E Moggi, Sheard
Venue:Journal of Functional Programming