Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni
A theory of effects and resources: adjunction models and polarised calculi
POPL, 2016.
@inproceedings{POPL-2016-CurienFM, author = "Pierre-Louis Curien and Marcelo P. Fiore and Guillaume Munch-Maccagnoni", booktitle = "{Proceedings of the 43rd Symposium on Principles of Programming Languages}", doi = "10.1145/2837614.2837652", isbn = "978-1-4503-3549-2", pages = "44--56", publisher = "{ACM}", title = "{A theory of effects and resources: adjunction models and polarised calculi}", year = 2016, }