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
|13:30 - 13:50|
Benjamin W ChungNortheastern UniversityLink to publication
|14:00 - 14:20|
|14:30 - 14:50|