Dominique Devriese, Frank Piessens. Information flow enforcement in monadic libraries. In Stephanie Weirich, Derek Dreyer, editors, Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011. pages 59-72, ACM, 2011. [doi]
@inproceedings{DevrieseP11,
title = {Information flow enforcement in monadic libraries},
author = {Dominique Devriese and Frank Piessens},
year = {2011},
doi = {10.1145/1929553.1929564},
url = {http://doi.acm.org/10.1145/1929553.1929564},
tags = {data-flow},
researchr = {https://researchr.org/publication/DevrieseP11},
cites = {0},
citedby = {0},
pages = {59-72},
booktitle = {Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011},
editor = {Stephanie Weirich and Derek Dreyer},
publisher = {ACM},
isbn = {978-1-4503-0484-9},
}