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 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
|13:30 - 13:50|
|KafKa: Gradual Typing for Objects|
Benjamin W ChungNortheastern UniversityLink to publication
|14:00 - 14:20|
|Three approaches to Gradual Typing|
|14:30 - 14:50|
|Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing|