1996 | ||
---|---|---|
1 | Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS 1996: 172-206 |
1 | Torben Amtoft (Torben Amtoft Hansen) | [1] |
2 | Flemming Nielson | [1] |
3 | Hanne Riis Nielson | [1] |