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.

Supported by the National Science Foundation (SHF 1518844)