Polymorphic subtyping for e#ect analysis: The dynamic semantics (1997)

by T Amtoft, F Nielson, H R Nielson, J Ammann
Venue:In Analysis and Verification of MultipleAgent Languages