Checking correctness of TypeScript interfaces for JavaScript libraries-Reference-Cited by-同舟云学术

Checking correctness of TypeScript interfaces for JavaScript libraries

Published:2014-10-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications
language:
Short-container-title:

Author:

Feldthaus Asger¹,Møller Anders¹

Affiliation:

1. Aarhus University, Aarhus, Denmark

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2660193.2660215

Reference14 articles.

1. Dependent types for JavaScript

2. Semi-automatic rename refactoring for JavaScript

3. Checking type safety of foreign function calls

4. Google. GWT - JavaScript Native Interface March 2013. http://www.gwtproject.org/doc/latest/DevGuideCodingBasicsJSNI.html. Google. GWT - JavaScript Native Interface March 2013. http://www.gwtproject.org/doc/latest/DevGuideCodingBasicsJSNI.html.

5. Google. The Dart programming language specification March 2014. https://www.dartlang.org/docs/spec/. Google. The Dart programming language specification March 2014. https://www.dartlang.org/docs/spec/.

Cited by 32 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Static Blame for gradual typing;Journal of Functional Programming;2024

2. PTDETECTOR: An Automated JavaScript Front-end Library Detector;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

3. How to Evaluate Blame for Gradual Types, Part 2;Proceedings of the ACM on Programming Languages;2023-08-30

4. TypeScript’s Evolution: An Analysis of Feature Adoption Over Time;2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR);2023-05

5. Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters;Proceedings of the ACM on Programming Languages;2022-10-31