We are a coalition of researchers seeking to discover the unifying principles underlying the design of gradual type systems through reproducibility studies, implementations of type systems and tools, plus evaluations covering both the feasibility of gradual typing as well as its long-term value to software engineers.
Automatically Generating the Dynamic Semantics of Gradually Typed Languages by Matteo Cimini and Jeremy Siek appeared at POPL 2017
Big Types in Little Runtime by Michael Vitousek, Cameron Swords, and Jeremy Siek appeared at POPL 2017
Just-in-Time Static Type Checking for Dynamic Languages by Brianna Ren and Jeffrey S. Foster appeared at PLDI 2016
Occurrence Typing Modulo Theories by Andrew Kent, David Kempe II, and Sam Tobin-Hochstadt appeared at PLDI 2016
Asumu Takikawa successfully defended his dissertation.
Joe Gibbs Politz successfully defended his dissertation.
Practical Optional Types for Clojure by Ambrose Bonnaire-Sergeant, Sam Tobin-Hochstadt, and Rowan Davies appeared at ESOP 2016
The Gradualizer: a methodology and algorithm for generating gradual type systems by Matteo Cimini and Jeremy Siek appeared at POPL 2016