BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Google typescript

Tag #typescript

9 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.