Mixed Messages: Measuring Conformance and Non-Interference in TypeScript

By Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski. 2017

19 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems, Software, Software Engineering

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Erik Krogh Kristensen
2. Anders Møller
3. Ming-Ho Yee
4. Arjun Guha

In Information Systems

1. Erik Krogh Kristensen
2. Ming-Ho Yee
3. Anders Møller
4. Arjun Guha

In Software

1. Erik Krogh Kristensen
2. Ming-Ho Yee
3. Arjun Guha
4. Anders Møller

In Software Engineering

1. Erik Krogh Kristensen
2. Ming-Ho Yee
3. Anders Møller
4. Arjun Guha

Citations in the corpus

• Do Machine Learning Models Produce TypeScript Types that Type Check? (2023, background): “(However, there is evidence that some of these type annotations are incorrect [16, 28, 29, 51].)”
• Type test scripts for TypeScript testing (2017, methodology): “This can be adapted to check TypeScript declaration files [Williams et al. 2017] by wrapping the JavaScript implementation in a higher-order contract [Keil and Thiemann 2015b], which is then tested by executing application code against the wrapped JavaScript implementation.”