Siek and Taha [2006] coined the term gradual typing to describe a theory for integrating
static and dynamic typing within a single language that 1) puts the programmer in control of …

We introduce the blame calculus, which adds the notion of blame from Findler and
Felleisen's contracts to a system similar to Siek and Taha's gradual types and Flanagan's …

Language researchers and designers have extended a wide variety of type systems to
support gradual typing, which enables languages to seamlessly combine dynamic and static …

Combining static and dynamic typing within the same language offers clear benefits to
programmers. It provides dynamic typing in situations that require rapid prototyping …

Gradual type systems offer a smooth continuum between static and dynamic typing by
permitting the free mixture of typed and untyped code. The runtime systems for these …

Gradually typed languages are designed to support both dynamically typed and statically
typed programming styles while preserving the benefits of each. While existing gradual type …

How to integrate static and dynamic types? Recent work focuses on casts to mediate
between the two. However, adding casts may degrade tail calls into a non-tail calls …

Many large software systems originate from untyped scripting language code. While good
for initial development, the lack of static type annotations can impact code-quality and …

Many languages are beginning to integrate dynamic and static typing. Siek and Taha offered
gradual typing as an approach to this integration that provides a coherent and full-span …

Gradual typing enables both static and dynamic typing in the same program and makes it
convenient to migrate code regions between the two typing disciplines. One goal of gradual …