%0 Conference Paper %1 conf/icfp/HassanS13 %A Hassan, Doaa %A Sabry, Amr %B FPCDSL@ICFP %D 2013 %E Lazarus, Richard %E Kfoury, Assaf J. %E Beal, Jacob %I ACM %K dblp %P 11-18 %T Encoding secure information flow with restricted delegation and revocation in Haskell. %U http://dblp.uni-trier.de/db/conf/icfp/fpcdsl2013.html#HassanS13 %@ 978-1-4503-2380-2

@inproceedings{conf/icfp/HassanS13, added-at = {2020-09-05T00:00:00.000+0200}, author = {Hassan, Doaa and Sabry, Amr}, biburl = {https://www.bibsonomy.org/bibtex/2d67fc78ddc7584023a660561f77fd2a5/dblp}, booktitle = {FPCDSL@ICFP}, crossref = {conf/icfp/2013fpcdsl}, editor = {Lazarus, Richard and Kfoury, Assaf J. and Beal, Jacob}, ee = {https://doi.org/10.1145/2505351.2505354}, interhash = {7cc458dda5bfaaf7cc00ae540204f489}, intrahash = {d67fc78ddc7584023a660561f77fd2a5}, isbn = {978-1-4503-2380-2}, keywords = {dblp}, pages = {11-18}, publisher = {ACM}, timestamp = {2020-09-09T13:56:27.000+0200}, title = {Encoding secure information flow with restricted delegation and revocation in Haskell.}, url = {http://dblp.uni-trier.de/db/conf/icfp/fpcdsl2013.html#HassanS13}, year = 2013 }