%0 Conference Paper %1 conf/popl/CurienFM16 %A Curien, Pierre-Louis %A Fiore, Marcelo P. %A Munch-Maccagnoni, Guillaume %B POPL %D 2016 %E Bodík, Rastislav %E Majumdar, Rupak %I ACM %K %P 44-56 %T A theory of effects and resources: adjunction models and polarised calculi. %U http://dblp.uni-trier.de/db/conf/popl/popl2016.html#CurienFM16 %@ 978-1-4503-3549-2

@inproceedings{conf/popl/CurienFM16, added-at = {2023-12-12T23:12:20.000+0100}, author = {Curien, Pierre-Louis and Fiore, Marcelo P. and Munch-Maccagnoni, Guillaume}, biburl = {https://www.bibsonomy.org/bibtex/27d5bf6105ebb7706a5c98d2c648f51b3/admin}, booktitle = {POPL}, crossref = {conf/popl/2016}, editor = {Bodík, Rastislav and Majumdar, Rupak}, ee = {https://doi.org/10.1145/2837614.2837652}, interhash = {5337ee5764a380d32b8ee3e877a96036}, intrahash = {7d5bf6105ebb7706a5c98d2c648f51b3}, isbn = {978-1-4503-3549-2}, keywords = {}, pages = {44-56}, publisher = {ACM}, timestamp = {2023-12-12T23:12:20.000+0100}, title = {A theory of effects and resources: adjunction models and polarised calculi.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2016.html#CurienFM16}, year = 2016 }