Journal of Functional Programming (2003), 13 : 545-571 Cambridge University Press
Copyright © 2003 Cambridge University Press
doi:10.1017/S0956796802004598 (About doi)
Published online by Cambridge University Press 13 May 2003
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=150521
Copy and paste this citation
C. CALCAGNO,
E. MOGGI
and T. SHEARD
(2003).
Closed types for a safe imperative MetaML. Journal of Functional Programming,
13
,
pp 545-571
doi:10.1017/S0956796802004598
doi:10.1017/S0956796802004598
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
