Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

TypeScript

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
We present Refined TypeScript (RSC), a lightweight refinement type system for TypeScript, that enables static verification of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 7
  • figure 8
Is this relevant?
2015
2015
Typescript extends JavaScript with optional type annotations that are, by design, unsound and, that the Typescript compiler… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2015
Highly Cited
2015
Current proposals for adding gradual typing to JavaScript, such as Closure, TypeScript and Dart, forgo soundness to deal with… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2014
Highly Cited
2014
TypeScript is an extension of JavaScript intended to enable easier development of large-scale JavaScript applications. While… Expand
Is this relevant?
2014
2014
The TypeScript programming language adds optional types to JavaScript, with support for interaction with existing JavaScript… Expand
  • figure 2
  • figure 3
  • table 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Psychologists and sociologists usually interpret happiness scores as cardinal and comparable across respondents, and thus run OLS… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Why does trust vary so substantially across countries? This paper presents a general equilibrium growth model in which… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
1982
Highly Cited
1982
This study attempts to measure and analyse the diffusion of product innovations. Diffusion is defined as the spread in the number… Expand
  • table 2
  • table 3
  • table 4
  • table 5
  • table 6
Is this relevant?
Highly Cited
1975
Highly Cited
1975
SUMMARY Ten experiments were designed to explore the levels of processing framework for human memory research proposed by Craik… Expand
  • table 1
  • table 2
  • figure 1
  • figure 2
  • table 3
Is this relevant?
1971
1971
Qualitative and quantitative studies on phytoplankton of the Cochin Backwater showed that about 120 species of phytoplankters… Expand
  • figure 1
  • table 2
  • figure 2
  • table 3
Is this relevant?