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

The aspiration of gradual typing — that typed and untyped code can coexist happily, with errors reported at runtime when the types are found to be wrong — has led many languages, including Grace, to adopt the paradigm. The practice of gradual typing often differs substantially from the theory, however. This talk will examine several pain points between the theory and its application, including subtyping, exceptions, and static analysis, in both Grace and other languages.

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