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.

Conference Day
Sun 4 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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