SPLASH 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
SPLASH 2018 (series) / GRACE 2018 (series) / GRACE 2018 /

Three approaches to Gradual Typing

Ben Greenman, Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi
GRACE 2018
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.

Ben Greenman
Ben Greenman
Northeastern University, USA
United States
small-avatar
Preston Tunnell WilsonAuthor
Brown University, USA
Justin Pombrio
Justin PombrioAuthor
Brown University, USA
United States
Shriram Krishnamurthi
Shriram KrishnamurthiAuthor
Brown University, USA

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
Timothy Jones Montoux