[Pl-seminar] Reminder: 8/7 Seminar: Justin Pombrio: Inferring Type Rules for Syntactic Sugar

[Daniel Patterson]

Reminder: this is next Tuesday!

On Thu, Jul 26, 2018, at 4:01 PM, Daniel Patterson wrote:
> NUPRL Seminar Presents
> 
> Justin Pombrio
> Brown University
> 
> 11:30AM
> Tuesday, August 7th, 2018
> Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)
> 
> Inferring Type Rules for Syntactic Sugar
> 
> Abstract
> 
> 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.
> 
> Bio
> 
> Justin Pombrio is a recent PhD graduate from Brown University. His 
> research is mainly in programming languages, with a focus on syntactic 
> sugar, but also includes CS education.