Polymorphic effect systems (1988)

by John M. Lucassen, David K. Gifford
Venue:In Principles of Programming Languages (POPL