Tag #typescript
9 papers:
ECOOP-2017-WilliamsMWZ #consistency- Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (JW, JGM, PW, JZ), p. 29.
OOPSLA-2017-KristensenM #testing- Type test scripts for TypeScript testing (EKK, AM), p. 25.
PEPM-2017-WolffH #using- Refining types using type guards in TypeScript (IGdW, JH), pp. 111–122.
FASE-2017-KristensenM #evolution- Inference and Evolution of TypeScript Declaration Files (EKK, AM), pp. 99–115.
PLDI-2016-VekrisCJ #refinement- Refinement types for TypeScript (PV, BC, RJ), pp. 310–325.
- ECOOP-2015-RichardsNV
- Concrete Types for TypeScript (GR, FZN, JV), pp. 76–100.
POPL-2015-RastogiSFBV #performance #type system- Safe & Efficient Gradual Typing for TypeScript (AR, NS, CF, GMB, PV), pp. 167–180.
- ECOOP-2014-BiermanAT #comprehension
- Understanding TypeScript (GMB, MA, MT), pp. 257–281.
- OOPSLA-2014-FeldthausM #correctness #interface #javascript #library
- Checking correctness of TypeScript interfaces for JavaScript libraries (AF, AM), pp. 1–16.
