Registered user since Thu 13 Nov 2014
Name:Jason Gross
Country:United States
Affiliation:MIT CSAIL
Personal website: http://people.csail.mit.edu/jgross/
Research interests:Programming Languages, Homotopy Type Theory
Contributions
POPL 2017-profile
View general profile
View general profile