CJO - Abstract - Type-based confinement

Cambridge Journals Online

Cambridge Journals Online
Skip to content
Journal of Functional Programming (2006), 16 : 83-128 Cambridge University Press
Copyright © 2005 Cambridge University Press
doi:10.1017/S0956796805005691 (About doi)
Published online by Cambridge University Press 13 Sep 2005
back to top
Cambridge University Press