Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jürgen Ammann

Polymorphic Subtyping for Effect Analysis: The Semantics

DAIMI Report Series

English