• Sign in
  • Sign up
conf.researchr.org / Pritam Choudhury
  • 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
xSat 1 Apr 10:27
using conf.researchr.org (v1.60.0)
Support page
Sign Up