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.
Conference DaySun 4 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
13:30 - 15:00
|KafKa: Gradual Typing for Objects|
Benjamin W ChungNortheastern UniversityLink to publication
|Three approaches to Gradual Typing|
|Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing|