Pritam Choudhury -

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