Torben Amtoft. Polymorphic subtyping for effect analysis: The static semantics (1997)

by Henderson
Venue:Proceedings of the Fifth LOMAPS Workshop, number 1192 in Lecture Notes in Computer Science