Static TypeScript: an implementation of a static compiler for the TypeScript language

Thomas Ball, Peli de Halleux, Michal Moskal. Static TypeScript: an implementation of a static compiler for the TypeScript language. In Antony L. Hosking, Irene Finocchi, editors, Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2019, Athens, Greece, October 21-22, 2019. pages 105-116, ACM, 2019. [doi]

@inproceedings{BallHM19,
  title = {Static TypeScript: an implementation of a static compiler for the TypeScript language},
  author = {Thomas Ball and Peli de Halleux and Michal Moskal},
  year = {2019},
  doi = {10.1145/3357390.3361032},
  url = {https://doi.org/10.1145/3357390.3361032},
  researchr = {https://researchr.org/publication/BallHM19},
  cites = {0},
  citedby = {0},
  pages = {105-116},
  booktitle = {Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2019, Athens, Greece, October 21-22, 2019},
  editor = {Antony L. Hosking and Irene Finocchi},
  publisher = {ACM},
  isbn = {978-1-4503-6977-0},
}