Aarhus University Seal / Aarhus Universitets segl

The papers Determinacy in Static Analysis of jQuery and Checking Correctness of TypeScript Interfaces for JavaScript Libraries are accepted at OOPSLA'14