Registered user since Tue 7 Dec 2021
Name:Lawrence Dunn
Country:United States
Affiliation:University of Pennsylvania
Personal website:https://comono.id
GitHub:https://github.com/dunnl
Research interests:Category theory, type theory
Contributions
| CoqPL 2022 | Tealeaves: Categorical structures for syntax | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2022-profile
View general profile
View general profile