![Vikraman Choudhury](https://pldi21.sigplan.org/getProfileImage/vikramanchoudhury/c2f8b04c-0015-40b0-8cd1-6ed324858c99/small.jpg?1713299836000)
Registered user since Thu 2 Nov 2017
Name:Vikraman Choudhury
Country:United States
Affiliation:Indiana University & University of Cambridge
Personal website: https://vikraman.org
Research interests:Type Theory, Category Theory, Semantics
Contributions
PLDI 2021-profile
View general profile
View general profile