Registered user since Sat 14 Nov 2015

Name: Matthew Flatt

Affiliation: University of Utah

Personal website: http://www.cs.utah.edu/~mflatt/

POPL 2016 Activities

• Keynote Speaker of Invited Keynote: Building Languages in Racket: Syntax Objects as an Intermediate Representation within the Invited Talks-track in PEPM 2016
• Author of Binding as Sets of Scopes within the Research Papers-track in POPL 2016
• Show activities from other conferences