%0 Conference Paper %1 conf/post/GregersenTA19 %A Gregersen, Simon Oddershede %A Thomsen, Søren Eller %A Askarov, Aslan %B POST %D 2019 %E Nielson, Flemming %E Sands, David %I Springer %K dblp %P 51-75 %T A Dependently Typed Library for Static Information-Flow Control in Idris. %U http://dblp.uni-trier.de/db/conf/post/post2019.html#GregersenTA19 %V 11426 %@ 978-3-030-17138-4

@inproceedings{conf/post/GregersenTA19, added-at = {2020-11-02T00:00:00.000+0100}, author = {Gregersen, Simon Oddershede and Thomsen, Søren Eller and Askarov, Aslan}, biburl = {https://www.bibsonomy.org/bibtex/23ea1991839ae7816d22b5db72729cc33/dblp}, booktitle = {POST}, crossref = {conf/post/2019}, editor = {Nielson, Flemming and Sands, David}, ee = {https://doi.org/10.1007/978-3-030-17138-4_3}, interhash = {34cbe7144aab59984530a096ecbd764c}, intrahash = {3ea1991839ae7816d22b5db72729cc33}, isbn = {978-3-030-17138-4}, keywords = {dblp}, pages = {51-75}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-03T11:36:05.000+0100}, title = {A Dependently Typed Library for Static Information-Flow Control in Idris.}, url = {http://dblp.uni-trier.de/db/conf/post/post2019.html#GregersenTA19}, volume = 11426, year = 2019 }