
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