Gradual typing

Known as: List of gradually typed programming languages 
Gradual typing is a type system in which some variables and expressions may be given types and the correctness of the typing is checked at compile… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We propose a type system for functional languages with gradual types and set-theoretic type connectives and prove its soundness… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
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… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2014
2014
JavaScript's flexible semantics makes writing correct code hard and writing secure code extremely difficult. To address the… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2014
2014
Refinement type systems have been proposed by a number of researchers to sharpen the guarantees of existing type systems… (More)
Is this relevant?
2013
2013
Type systems for information-flow control (IFC) are often inflexible and too conservative. On the other hand, dynamic run-time… (More)
  • figure 3
  • figure 5
  • figure 6
  • figure 11
Is this relevant?
2012
2012
Dynamic type-checking and object-oriented programming often go hand-in-hand; scripting languages such as Python, Ruby, and… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 11
Is this relevant?
Review
2009
Review
2009
It is fairly intuitive that adding dynamic typing to a statically typed language can add some convenience to a developer, at the… (More)
Is this relevant?
2008
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for… (More)
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Static and dynamic type systems have well-known strengths and weaknesses, and each is better suited for different programming… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?