Fri 22 Jun 2018 17:00 - 17:25 at Grand Ballroom CD - Types Chair(s): Kathleen Fisher

Type systems and syntactic sugar are both valuable to programmers, but sometimes at odds. While sugar is a valuable mechanism for implementing realistic languages, the expansion process obscures program source structure. As a result, type errors can reference terms the programmers did not write (and even constructs they do not know), baffling them. The language developer must also manually construct type rules for the sugars, to give a typed account of the surface language. We address these problems by presenting a process for automatically reconstructing type rules for the surface language using rules for the core. We have implemented this theory, and show several interesting case studies.

Fri 22 Jun

pldi-2018-papers
16:10 - 17:25: PLDI Research Papers - Types at Grand Ballroom CD
Chair(s): Kathleen FisherTufts University
pldi-2018-papers152967660000016:10 - 16:35
Talk
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research
Media Attached
pldi-2018-papers152967810000016:35 - 17:00
Talk
William J. BowmanNortheastern University, USA, Amal AhmedNortheastern University, USA
Media Attached
pldi-2018-papers152967960000017:00 - 17:25
Talk
Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA
Media Attached