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