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

The creation of a programming language calls for guiding principles that point the
developers to goals. This article spells out the three basic principles behind the 20-year …

Gradual ty** combines static and dynamic ty** in the same language, offering
programmers the error detection and strong guarantees of static types and the rapid …

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

Gradual ty** combines static and dynamic ty** in the same program. Siek et al.(2015)
describe five criteria for gradually typed languages, including type soundness and the …

C#, Dart, Pyret, Racket, TypeScript, VB: many recent languages integrate dynamic and static
types via gradual ty**. We systematically develop three calculi for gradual ty** and the …

We present Pycket, a high-performance tracing JIT compiler for Racket. Pycket supports a
wide variety of the sophisticated features in Racket such as contracts, continuations, classes …

The literature on gradual ty** presents three fundamentally different ways of thinking
about the integrity of programs that combine statically typed and dynamically typed code …

While gradual ty** has proven itself attractive to programmers, many systems have
avoided sound gradual ty** due to the run time overhead of enforcement. In the context of …

Programs are rarely implemented in a single language, and thus questions of type
soundness should address not only the semantics of a single language, but how it interacts …