Polymorphic eect systems (1988)

by J M Lucassen, D K Giord
Venue:In Principles of Programming Languages (POPL