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

[William J. Bowman]

If you'd like to come to lunch with Justin after the talk, or meet with Justin,
let me know.

Slots:
11:30--1:30   Talk
 1:30--3:00   Lunch
 3:00--3:30   ??
 3:30--4:00   ??
 4:00--4:30   ??
 4:30--5:00   ??

--
William J. Bowman

On Tue, Jul 31, 2018 at 01:46:27PM -0400, Daniel Patterson wrote:
> 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.
> 
> _______________________________________________
> pl-seminar mailing list
> pl-seminar at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-seminar