A theory of effects and resources: adjunction models and polarised calculi.

Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni

Browse the full POPL paper archive.