@inproceedings{curien-2016-a, series={POPL ’16}, title={A theory of effects and resources: adjunction models and polarised calculi}, url={http://dx.doi.org/10.1145/2837614.2837652}, DOI={10.1145/2837614.2837652}, booktitle={Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, publisher={ACM}, author={Curien, Pierre-Louis and Fiore, Marcelo and Munch-Maccagnoni, Guillaume}, year={2016}, month=Jan, pages={44–56}, collection={POPL ’16} }