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]
@inproceedings{RussoCH08, title = {A library for light-weight information-flow security in haskell}, author = {Alejandro Russo and Koen Claessen and John Hughes}, year = {2008}, doi = {10.1145/1411286.1411289}, url = {http://doi.acm.org/10.1145/1411286.1411289}, tags = {Haskell, data-flow, security}, researchr = {https://researchr.org/publication/RussoCH08}, cites = {0}, citedby = {0}, pages = {13-24}, booktitle = {Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008}, editor = {Andy Gill}, publisher = {ACM}, isbn = {978-1-60558-064-7}, }