Polymorphic e ect systems (1988)

by J M Lucassen, Gi ord, D K
Venue:Principles on Programming Languages, ACM PoPL'88 proceedings