Journal of Functional Programming (2005), 15 : 249-291 Cambridge University Press
Copyright © 2005 Cambridge University Press
doi:10.1017/S0956796804005441 (About doi)
Published online by Cambridge University Press 03 Mar 2005
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=284344
Copy and paste this citation
KARL CRARY,
ALEKSEY KLIGER
and FRANK PFENNING
(2005).
A monadic analysis of information flow security with mutable state. Journal of Functional Programming,
15
,
pp 249-291
doi:10.1017/S0956796804005441
doi:10.1017/S0956796804005441
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
