%0 Conference Paper %1 conf/popl/SwamyHKRDFBFSKZ16 %A Swamy, Nikhil %A Hritcu, Catalin %A Keller, Chantal %A Rastogi, Aseem %A Delignat-Lavaud, Antoine %A Forest, Simon %A Bhargavan, Karthikeyan %A Fournet, Cédric %A Strub, Pierre-Yves %A Kohlweiss, Markulf %A Zinzindohoue, Jean Karim %A Béguelin, Santiago Zanella %B POPL %D 2016 %E Bodík, Rastislav %E Majumdar, Rupak %I ACM %K %P 256-270 %T Dependent types and multi-monadic effects in F. %U http://dblp.uni-trier.de/db/conf/popl/popl2016.html#SwamyHKRDFBFSKZ16 %@ 978-1-4503-3549-2

@inproceedings{conf/popl/SwamyHKRDFBFSKZ16, added-at = {2023-12-13T09:49:47.000+0100}, author = {Swamy, Nikhil and Hritcu, Catalin and Keller, Chantal and Rastogi, Aseem and Delignat-Lavaud, Antoine and Forest, Simon and Bhargavan, Karthikeyan and Fournet, Cédric and Strub, Pierre-Yves and Kohlweiss, Markulf and Zinzindohoue, Jean Karim and Béguelin, Santiago Zanella}, biburl = {https://www.bibsonomy.org/bibtex/280ee63d0d3f7624d9d7db705d6743243/admin}, booktitle = {POPL}, crossref = {conf/popl/2016}, editor = {Bodík, Rastislav and Majumdar, Rupak}, ee = {https://doi.org/10.1145/2837614.2837655}, interhash = {d2336286a7f3cf8be6f27ccd57f6777d}, intrahash = {80ee63d0d3f7624d9d7db705d6743243}, isbn = {978-1-4503-3549-2}, keywords = {}, pages = {256-270}, publisher = {ACM}, timestamp = {2023-12-13T09:49:47.000+0100}, title = {Dependent types and multi-monadic effects in F.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2016.html#SwamyHKRDFBFSKZ16}, year = 2016 }