Hanne Riis Nielson and Torben Amtoft: Polymorphic subtypes for effect analysis: the algorithm (1997)

by Flemming Nielson
Venue:In Analysis and Verification of Multiple-Agent Languages