TypeScript is a typed extension of JavaScript that has become widely used for web application development. Thousands of JavaScript libraries now have publicly available TypeScript declaration files, which allows the libraries to be used when programming TypeScript applications. Such declaration files are written manually, however. They often contain many errors, and they are often lagging behind the continuous development of the libraries, thereby hindering their usability.

This talk gives an overview of techniques for automatically detecting mismatches between the libraries and their declaration files, and for assisting the programmer when constructing new TypeScript declaration files or co-evolving existing ones as the underlying JavaScript libraries evolve.

Professor at Department of Computer Science, Aarhus University, Denmark