Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pritam Choudhury
conf.researchr.org general profile
ICFP 2019 profile
POPL 2021 profile
SPLASH 2022 profile
Not registered as user
Name:
Pritam Choudhury
Country:
United States
Affiliation:
University of Pennsylvania
Contributions
2022
SPLASH
Author of Monadic and Comonadic Aspects of Dependency Analysis within the V-OOPSLA-track
2021
POPL
Author of A Graded Dependent Type System with a Usage-Aware Semantics within the POPL-track
2019
ICFP
Author of A Role for Dependent Types in Haskell within the Research Papers-track
Share
x
Sat 21 Dec 17:01