Checking correctness of TypeScript interfaces for JavaScript libraries.

Asger Feldthaus, Anders Mller

Browse the full OOPSLA paper archive.