Jürgen Ammann

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS (1996)