Polymorphic effect systems. (1988)

by J M Lucassen, D K Gifford
Venue:In Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL ’88,