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 yet
Name:
Pritam Choudhury
Country:
United States
Affiliation:
University of Pennsylvania
Contributions
SPLASH 2022
Author of Monadic and Comonadic Aspects of Dependency Analysis within the V-OOPSLA-track
POPL 2021
Author of A Graded Dependent Type System with a Usage-Aware Semantics within the POPL-track
ICFP 2019
Author of A Role for Dependent Types in Haskell within the Research Papers-track
Share
x
Sat 1 Apr 10:27