@inproceedings{DBLP:conf/popl/SwamyHKRDFBFSKZ16,
  author = {Nikhil Swamy and Catalin Hritcu and Chantal Keller and
Aseem Rastogi and Antoine Delignat{-}Lavaud and
Simon Forest and Karthikeyan Bhargavan and
C{\'{e}}dric Fournet and Pierre{-}Yves Strub and
Markulf Kohlweiss and Jean Karim Zinzindohoue and
Santiago Zanella B{\'{e}}guelin},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/popl/SwamyHKRDFBFSKZ16.bib},
  booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages,
{POPL} 2016, St. Petersburg, FL, USA, January 20 -
22, 2016},
  doi = {10.1145/2837614.2837655},
  editor = {Rastislav Bod{\'{\i}}k and Rupak Majumdar},
  isbn = {978-1-4503-3549-2},
  pages = {256--270},
  publisher = {{ACM}},
  timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
  title = {Dependent types and multi-monadic effects in {F}},
  url = {https://doi.org/10.1145/2837614.2837655},
  url_Link = {http://www.strub.nu/biblio/pdf/conf-popl-SwamyHKRDFBFSKZ16.pdf},
  year = {2016}
}

{"_id":"tMAoE29aTMP84mJnf","bibbaseid":"swamy-hritcu-keller-rastogi-delignatlavaud-forest-bhargavan-fournet-etal-dependenttypesandmultimonadiceffectsinf-2016","downloads":1,"creationDate":"2016-02-03T13:02:26.428Z","title":"Dependent types and multi-monadic effects in F","author_short":["Swamy, N.","Hritcu, C.","Keller, C.","Rastogi, A.","Delignat-Lavaud, A.","Forest, S.","Bhargavan, K.","Fournet, C.","Strub, P.","Kohlweiss, M.","Zinzindohoue, J. K.","Béguelin, S. Z."],"year":2016,"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Nikhil"],"propositions":[],"lastnames":["Swamy"],"suffixes":[]},{"firstnames":["Catalin"],"propositions":[],"lastnames":["Hritcu"],"suffixes":[]},{"firstnames":["Chantal"],"propositions":[],"lastnames":["Keller"],"suffixes":[]},{"firstnames":["Aseem"],"propositions":[],"lastnames":["Rastogi"],"suffixes":[]},{"firstnames":["Antoine"],"propositions":[],"lastnames":["Delignat-Lavaud"],"suffixes":[]},{"firstnames":["Simon"],"propositions":[],"lastnames":["Forest"],"suffixes":[]},{"firstnames":["Karthikeyan"],"propositions":[],"lastnames":["Bhargavan"],"suffixes":[]},{"firstnames":["Cédric"],"propositions":[],"lastnames":["Fournet"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]},{"firstnames":["Markulf"],"propositions":[],"lastnames":["Kohlweiss"],"suffixes":[]},{"firstnames":["Jean","Karim"],"propositions":[],"lastnames":["Zinzindohoue"],"suffixes":[]},{"firstnames":["Santiago","Zanella"],"propositions":[],"lastnames":["Béguelin"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/popl/SwamyHKRDFBFSKZ16.bib","booktitle":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016","doi":"10.1145/2837614.2837655","editor":[{"firstnames":["Rastislav"],"propositions":[],"lastnames":["Bodík"],"suffixes":[]},{"firstnames":["Rupak"],"propositions":[],"lastnames":["Majumdar"],"suffixes":[]}],"isbn":"978-1-4503-3549-2","pages":"256–270","publisher":"ACM","timestamp":"Wed, 23 Jun 2021 15:34:31 +0200","title":"Dependent types and multi-monadic effects in F","url":"https://doi.org/10.1145/2837614.2837655","url_link":"http://www.strub.nu/biblio/pdf/conf-popl-SwamyHKRDFBFSKZ16.pdf","year":"2016","bibtex":"@inproceedings{DBLP:conf/popl/SwamyHKRDFBFSKZ16,\n author = {Nikhil Swamy and Catalin Hritcu and Chantal Keller and\nAseem Rastogi and Antoine Delignat{-}Lavaud and\nSimon Forest and Karthikeyan Bhargavan and\nC{\\'{e}}dric Fournet and Pierre{-}Yves Strub and\nMarkulf Kohlweiss and Jean Karim Zinzindohoue and\nSantiago Zanella B{\\'{e}}guelin},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/popl/SwamyHKRDFBFSKZ16.bib},\n booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT}\nSymposium on Principles of Programming Languages,\n{POPL} 2016, St. Petersburg, FL, USA, January 20 -\n22, 2016},\n doi = {10.1145/2837614.2837655},\n editor = {Rastislav Bod{\\'{\\i}}k and Rupak Majumdar},\n isbn = {978-1-4503-3549-2},\n pages = {256--270},\n publisher = {{ACM}},\n timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},\n title = {Dependent types and multi-monadic effects in {F}},\n url = {https://doi.org/10.1145/2837614.2837655},\n url_Link = {http://www.strub.nu/biblio/pdf/conf-popl-SwamyHKRDFBFSKZ16.pdf},\n year = {2016}\n}\n\n","author_short":["Swamy, N.","Hritcu, C.","Keller, C.","Rastogi, A.","Delignat-Lavaud, A.","Forest, S.","Bhargavan, K.","Fournet, C.","Strub, P.","Kohlweiss, M.","Zinzindohoue, J. K.","Béguelin, S. Z."],"editor_short":["Bodík, R.","Majumdar, R."],"key":"DBLP:conf/popl/SwamyHKRDFBFSKZ16","id":"DBLP:conf/popl/SwamyHKRDFBFSKZ16","bibbaseid":"swamy-hritcu-keller-rastogi-delignatlavaud-forest-bhargavan-fournet-etal-dependenttypesandmultimonadiceffectsinf-2016","role":"author","urls":{"Paper":"https://doi.org/10.1145/2837614.2837655"," link":"http://www.strub.nu/biblio/pdf/conf-popl-SwamyHKRDFBFSKZ16.pdf"},"metadata":{"authorlinks":{"strub, p":"https://www.strub.nu/"}},"downloads":1,"html":""},"search_terms":["dependent","types","multi","monadic","effects","swamy","hritcu","keller","rastogi","delignat-lavaud","forest","bhargavan","fournet","strub","kohlweiss","zinzindohoue","béguelin"],"keywords":[],"authorIDs":["3Gij9J7cauYYsJGQM","3XHz9AEQ89MbsiyfN","3gJZCafpdwSepFJgN","3oS57fADzZPWQYTdv","4G58qshWj8JXeJnQk","4dngg7DNoxoZy8o4e","576919c26d5fab647f00016a","5Z33QjbvYHtRkuLo8","5de762ba179cbdde010000d7","5dee3afa0bde9edf010001be","5df3c558580920de0100008c","5df3cfb2580920de01000143","5df52ffefd245cde01000056","5df637b738e915de010000af","5df895ec10b1d1de01000037","5df8f367277e45de01000136","5dfa05c82e791dde01000039","5dfa6e1d7d1403df01000192","5dfb64cb012925de01000129","5dfcfc4dea1680de01000031","5e0075e036ce86df010000f2","5e06b4263cb7b3df0100009d","5e079fd98486cfde01000005","5e09c886954ff4de0100009d","5e10dc5e45c12cde01000017","5e177f08cf35a4de010000d0","5e19f679c1012bde01000111","5e1b09c4ea60e1de0100009e","5e1c540fe556c6de010000e0","5e1cabdc7723aadf01000095","5e1dacacd9acfbde01000125","5e1e2a26407a20de01000068","5e1e3af2407a20de010001f1","5e1eddf4875c69df010000db","5e1f141f3cc57cde010000a1","5e20d992b46c27ee010000f3","5e218cc2c7842fde01000160","5e245ca6079bb2df010000a4","5e262473408641df0100014e","5e26b1c2f3bb7ddf010000f1","5e271e47f51e02de0100018e","5e27fbce4d75d8de0100009c","5e283e24e6485dde0100014e","5e2afafb5da88ede01000129","5e2cb9e7cca05fde010000ef","5e2d9042481fd6de0100002f","5e2eb6dbb84405df01000197","5e2ef2c89033bede01000247","5e31b84db5384fde01000066","5e31c61db5384fde01000162","5e332d37a5c1fdde010000e3","5e347b58fae8b9de010000ab","5e36886cf0f9c4de01000098","5e37ef1ae8908edf01000148","5e384317ca2b4bde01000217","5e392c719d05f2df01000009","5e398f21d14579de0100019d","5e3b4876930f80df01000059","5e3c5c5c67788ede01000005","5e3d21f4c405ecde01000010","5e3d72f85f3240de010001af","5e3ea2958fc127df0100008d","5e4118a6b54187de01000034","5e46098cb57382df01000019","5e46eac8461d04f201000031","5e4eb40b64b624de010001d5","5e53cf4580e18ade010000b4","5e54466e7a758fde01000140","5e54dceab8e445df0100000e","5e553f8fca58a8df01000151","5e5613f605e404e401000026","5e56402943b164de010000e3","5e5a7aabb6725cde01000035","5e5ca9e2a9598ddf0100000f","5e5e18061e54a8df0100004b","5e5f7abf5766d9df01000105","5e5fad1b19c3fade0100011e","5e61341a97c182e9010000d1","5e63face24d8f2df01000110","5e64bd81a8ac14df010000a4","5e67267b0355fddf010000d3","5e672e8e0355fddf01000178","5e6a7cc640f1fadf010001b2","5e6b95161e8366df01000172","7Bz7Jni2HKjKrSY9Y","7M6CCHT6QJ7RQn5j5","8Prk8sEGQJ8bxNxhP","8iK2yjuJjE5KKd9rK","A22nf27GLuDSP2iGb","AAdDGnWH4iJbu9iTu","AEahZoExEMoaf4Hgn","AKbZfTN7XdAgpJ7DM","AMJ6vchtQmyR8GBAu","AMvc4mLBaGwEutgte","AYr2pRASnJrxHd9pK","B999aamk2FJy6JTzY","ChLrEoM9swxiqqicG","DbprqnjfvGypy58S3","DipEznXRjZJGE4Sc3","Dm5t4G72SX5YvLJFf","EC8a7TQ86pYAoBS7y","EPMnwdt4xPwvERCEC","GXujEevdg8Bgen224","GfQsw5p67gyk8Dza5","Go5M9iZMKaF3FMFdS","GuNuQKasPq7DMDnB9","HEW3ExifK3xxrnzEa","HnDXhPF25mam4JKT2","J8WBFxLpgLN36aWLT","L5xzzhczHTG5rRf6p","LTFdaqCdq8JRFdwM3","MLFJy69wwQLkL38qS","MmCdyPGNZJpnfP6sX","MmEnWWQhfsmG9e2vy","NNhW9kPhh3FPTozEn","NcayajduqCqH9Pkm6","PnQ7Jchpra4b9cTXw","QGX6YJBYhBrpHpuYw","QGXanBoG7B2jpNNmw","QdFbm24rwfTtDaLbd","RAvfQ29Aki9XEjxuk","RMyoAHWNtbAGqsx75","SFchCEMH2cfkA6JAE","SHyhA6hGq9CxWEvAj","SdyTDZywDCWiGB8D3","TQ79yk7ETJ5HdahDT","W7rhfAuyo3XGCGzZ9","WK4foC2YAsNhSwLzQ","XXHunb7ui7BYtvDEw","XifMs5ngj3phGCj62","YLEdCERPfGtDgrDnK","YfpjnqDYtct3dQ2AP","aN5Bwm4ebRH3uyb7v","bGvPFqnW8QXraAEzY","bt7goKgTyttACX6E9","bwyE2arqAoqrawx3s","cg9xxwgsCkCDi7cn3","d8Cf9iWaMiQ3rmSav","dqwvGNg8dqq6NBeev","fd4EsyHr7vqQQ4WKi","fpLmZHY7JfD9AGgLS","fxgDCByzEJ8yxkRay","gdD2BsGfqrrGfSrDP","hJQpjf4EzQpCvWnvF","hJfpGqDjbThZo6GnG","hMNZAatzm2YgKHSKu","hNRW8qGARj44uR8j9","hWGvne6Q764PwYALR","hwmFYLkFHpSmABBSN","i3bWqoby87dMTgDLp","i8gjr9RLC5pyYu9d7","iW7ejuwfF9eub38c8","ibok7AJcuShhvXP5C","jvdE5xouRy7gKxuqX","kZD57LxDae9LLczdR","m7pZX3qnSjMNrKYHc","mZDfXgJoBafffTZjT","mpfPKbBAWTZgg7Rc9","nEGZ7wngnHWQN4aYY","oPtHYjEnmoyPx2yez","oswKKeXjBWD8JNtgw","p8xRXAj86zXZQJuDv","pXixrzzNDnMHn89Qb","pymcuKqWpbkrHHGpB","qgoXCyo9Yy4AX7FWz","qvhBvq7mvdQfgQqQm","sFro5CzFnP8CsP5CE","sLE9YvQfFb3G6LPSF","si5LkGkZ4BetoFcps","t2bomLjMJvpo2t4eR","tB9gXWm5o8v6Tnd8z","ueRpzQnqnk5jftRDC","uzxmA4guZkcWnPkmC","vBWWGHJJj7fJdKvCP","vfxiL9p86Tds8BQru","vmWtF76KJbsWutAjE","voftmWFpSJvt4Cu9P","wDY3XhafpDSFNYwtm","wNhdP5R9D9RGjxoRW","yRiCK6jdCfMJNjdd5","ydSebRXqPzNv9pJNX","zPv2WgoPqhwZGtGrA"],"dataSources":["q4vBTsWpxooqz6FoB"]}