The literature on gradual typing is filled with unscientific claims about different systems; in particular, about the guarantees of their types, their relative performance, and the degree to which they accommodate the needs of developers. This work attempts a scientific comparison on all three counts: soundness, performance, and developers’ preference.
The soundness and performance comparison is joint work with Matthias Felleisen. The preference comparison is joint work with Preston Tunnell Wilson, Justin Pombrio, and Shriram Krishnamurthi.
Sun 4 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
13:30 - 15:00
|KafKa: Gradual Typing for Objects|
Benjamin Chung Northeastern UniversityLink to publication
|Three approaches to Gradual Typing|
|Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing|
Timothy Jones Montoux