Nr. 502 (1996): PB-502 Polymorphic Subtyping for Effect Analysis: The Semantics

Articles

• Polymorphic Subtyping for Effect Analysis: The Semantics

  Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann

  • PDF (English)