Gradual Typing Across the Spectrum

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.

Research Highlights

Asumu Takikawa successfully defended his dissertation.
Joe Gibbs Politz successfully defended his dissertation.

News and Events

PI meeting at Northeastern University, 2017-08-07. [Schedule]
PI meeting at Northeastern University, 2016-05-17. [Schedule]

Supported by the National Science Foundation (SHF 1518844)