Polymorphic effect systems. Pages 47--57 of (1988)

by J M Lucassen
Venue:the Proc. ACM Symp. on Principles of Programming Languages