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

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Language researchers and designers have extended a wide variety of type systems to support gradual typing, which enables… Expand
  • figure 1
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2014
Highly Cited
2014
Combining static and dynamic typing within the same language offers clear benefits to programmers. It provides dynamic typing in… Expand
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Typestate reflects how the legal operations on imperative objects can change at runtime as their internal state changes. A… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
The Intergovernmental Panel on Climate Change (2007) recently estimated that global sea level will rise from 0.18 to 0.59 m by… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • table 2
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… Expand
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Gradual type systems offer a smooth continuum between static and dynamic typing by permitting the free mixture of typed and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper explores a monetary-policy model with habit formation for consumers, in which consumers' utility depends in part on… Expand
  • table 1
Is this relevant?
Highly Cited
1983
Highly Cited
1983
The authors are jointly responsible forthe theoretical argumentand analysis. M. Craig Brown suggested the topic of civil service… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1949
Highly Cited
1949
  • N. Na
  • Mental Health
  • 1949
  • Corpus ID: 42536724
revisions. It is interesting to compare the book with the earlier introductory Lectures, and to note the gradual broadening and… Expand
Is this relevant?