Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Peter Thiemann
JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript.
Journal of Object Technology
Software
Blame and Coercion: Together Again for the First Time
Discriminative Sum Types Locate the Source of Type Errors
