
Registered user since Sat 14 Nov 2015
Name: Matthew Flatt
Affiliation: University of Utah
Personal website: http://www.cs.utah.edu/~mflatt/
Contributions
PEPM 2016 | Invited Keynote: Building Languages in Racket: Syntax Objects as an Intermediate Representation | ||||||||||||||||||||||||||||||||||||||||
POPL 2016 | Binding as Sets of Scopes | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile