Sun 4 Nov 2018 14:00 - 14:20 at Longfellow - Types in Grace Chair(s): Kim Bruce

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 - 15:00: Types in GraceGRACE at Longfellow
Chair(s): Kim BrucePomona College
13:30 - 13:50
KafKa: Gradual Typing for Objects
Benjamin W ChungNortheastern University
Link to publication
14:00 - 14:20
Three approaches to Gradual Typing
Ben GreenmanNortheastern University, USA, A: Preston Tunnell WilsonBrown University, USA, A: Justin PombrioBrown University, USA, A: Shriram KrishnamurthiBrown University, USA
14:30 - 14:50
Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing