Alejandro Russo, Koen Claessen, John Hughes. A library for light-weight information-flow security in haskell. In Andy Gill, editor, Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008. pages 13-24, ACM, 2008. [doi]
Abstract is missing.