Torben Amtoft and Flemming Nielson and Hanne Riis Nielson and Jurgen Ammann: Polymorphic subtypes for effect analysis: the dynamic semantics. In Analysis and Verification of Multiple-Agent Languages, pages 172--206, SLNCS 1192, 1997.
author author author author author author author author author author author author title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle pages pages pages pages date