![Lawrence Dunn](https://popl22.sigplan.org/getProfileImage/lawrencedunn/fcafca41-5fc8-415b-8ce9-cd2c39ada03d/small.jpg?1712804117000)
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
POPL 2022-profile
View general profile
View general profile