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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00
Types in GraceGRACE at Longfellow
Chair(s): Kim Bruce Pomona College
13:30
20m
Talk
KafKa: Gradual Typing for Objects
GRACE
Benjamin Chung Northeastern University
Link to publication
14:00
20m
Talk
Three approaches to Gradual Typing
GRACE
Ben Greenman Northeastern University, USA, A: Preston Tunnell Wilson Brown University, USA, A: Justin Pombrio Brown University, USA, A: Shriram Krishnamurthi Brown University, USA
14:30
20m
Talk
Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing
GRACE