FAQ

TypeScript

Known as: Microsoft TypeScript 
TypeScript is a free and open source programming language developed and maintained by Microsoft. It is a strict superset of JavaScript, and adds… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1943-2016
020406019432015

Related topics

Related topics

50 relations
Apache MavenAtomBuild automationCeylon
(More)

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
TypeScript
Structured programming
Modular programming
Electron
Programming language
Imperative programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Inference and Evolution of TypeScript Declaration Files
TypeScript is a typed extension of JavaScript that has become widely used. More than 2 000 JavaScript libraries now have publicly… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2017
2017
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
TypeScript participates in the recent trend among programming languages to support gradual typing. The DefinitelyTyped Repository… (More)
Is this relevant?
2016
2016
Refinement types for TypeScript
We present Refined TypeScript (RSC), a lightweight refinement type system for TypeScript, that enables static verification of… (More)
Is this relevant?
2015
2015
Safe & Efficient Gradual Typing for TypeScript
Current proposals for adding gradual typing to JavaScript, such as Closure, TypeScript and Dart, forgo soundness to deal with… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2015
2015
Concrete Types for TypeScript
TypeScript extends JavaScript with optional type annotations that are, by design, unsound and, that the TypeScript compiler… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
Understanding TypeScript
TypeScript is an extension of JavaScript intended to enable easier development of large-scale JavaScript applications. While… (More)
Is this relevant?
2014
2014
Checking correctness of TypeScript interfaces for JavaScript libraries
The TypeScript programming language adds optional types to JavaScript, with support for interaction with existing JavaScript… (More)
  • figure 2
  • figure 3
  • table 1
Is this relevant?
2014
2014
JavaScript API misuse detection by using typescript
Static analysis of JavaScript programs to detect errors in them is a challenging task. Especially when the program imports… (More)
Is this relevant?
2013
2013
TypeScript: The Next Generation
There is increasing interest in integrating dynamically and statically typed programming languages, as witnessed in industry by… (More)
Is this relevant?
1944
1944
Speech system Delilah ” — report on progress typescript dated 6 June 1944
  • 1944
Many end-users would agree that, had it not been for self-learning configurations, the emulation of scatter/gather I/O might… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 6
  • figure 5
Is this relevant?