%0 Conference Paper %1 conf/icfp/BuirasVR15 %A Buiras, Pablo %A Vytiniotis, Dimitrios %A Russo, Alejandro %B ICFP %D 2015 %E Fisher, Kathleen %E Reppy, John H. %I ACM %K %P 289-301 %T HLIO: mixing static and dynamic typing for information-flow control in Haskell. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2015.html#BuirasVR15 %@ 978-1-4503-3669-7

@inproceedings{conf/icfp/BuirasVR15, added-at = {2023-12-14T15:52:44.000+0100}, author = {Buiras, Pablo and Vytiniotis, Dimitrios and Russo, Alejandro}, biburl = {https://www.bibsonomy.org/bibtex/2114b8dc20eddc961db3208670f3b84da/admin}, booktitle = {ICFP}, crossref = {conf/icfp/2015}, editor = {Fisher, Kathleen and Reppy, John H.}, ee = {https://doi.org/10.1145/2784731.2784758}, interhash = {f0ab183443fbc7873c8bdff6a490ee4c}, intrahash = {114b8dc20eddc961db3208670f3b84da}, isbn = {978-1-4503-3669-7}, keywords = {}, pages = {289-301}, publisher = {ACM}, timestamp = {2023-12-14T15:52:44.000+0100}, title = {HLIO: mixing static and dynamic typing for information-flow control in Haskell.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2015.html#BuirasVR15}, year = 2015 }