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

grace-2018-papers
13:30 - 15:00: GRACE 2018 - Types in Grace at Longfellow
Chair(s): Kim BrucePomona College
grace-2018-papers13:30 - 13:50
Talk
Benjamin W ChungNortheastern University
Link to publication
grace-2018-papers14:00 - 14:20
Talk
Ben GreenmanNortheastern University, USA, Preston Tunnell WilsonBrown University, USA, Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA
grace-2018-papers14:30 - 14:50
Talk