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, Category Theory, Coq
Contributions
POPL 2021-profile
View general profile
View general profile