Polymorphic Effect Systems.

John M. Lucassen, David K. Gifford

Browse the full POPL paper archive.