Flemming Nielson Hanne Riis Nielson Torben Amtoft Polymorphic Subtyping for Effect Analysis: The Algorithm. 207-243 1996 conf/lomaps/1996 LOMAPS db/conf/lomaps/lomaps96.html#NielsonNA96a http://dx.doi.org/10.1007/3-540-62503-8_10