[PDF][PDF] Refined criteria for gradual ty**
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 …
static and dynamic ty** within a single language that 1) puts the programmer in control of …
The racket manifesto
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 …
developers to goals. This article spells out the three basic principles behind the 20-year …
Big types in little runtime: Open-world soundness and collaborative blame for gradual type systems
MM Vitousek, C Swords, JG Siek - ACM SIGPLAN Notices, 2017 - dl.acm.org
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 …
programmers the error detection and strong guarantees of static types and the rapid …
Monotonic references for efficient gradual ty**
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 …
convenient to migrate code regions between the two ty** disciplines. One goal of gradual …
How to Evaluate Blame for Gradual Types, Part 2
Equip** an existing programming language with a gradual type system requires two major
steps. The first and most visible one in academia is to add a notation for types and a type …
steps. The first and most visible one in academia is to add a notation for types and a type …
A spectrum of type soundness and performance
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 …
about the integrity of programs that combine statically typed and dynamically typed code …
Pycket: a tracing JIT for a functional language
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 …
wide variety of the sophisticated features in Racket such as contracts, continuations, classes …
Blame and coercion: Together again for the first time
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 …
types via gradual ty**. We systematically develop three calculi for gradual ty** and the …
Toward efficient gradual ty** for structural types via coercions
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 …
describe five criteria for gradually typed languages, including type soundness and the …
Simple Reference Immutability for System F<:
Reference immutability is a type based technique for taming mutation that has long been
studied in the context of object-oriented languages, like Java. Recently, though, languages …
studied in the context of object-oriented languages, like Java. Recently, though, languages …