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
| CoqPL 2022 | Session with the Coq Development Team Committee Member in Program Committee within the CoqPL-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2022-profile
View general profile
View general profile