Pritam Choudhury

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 9

Top Topics

Database Query Languages

Dependency Analysis

Provably Correct

Top Venues

Proc. ACM Program. Lang.

Publications

Pritam Choudhury
Unifying Linearity and Dependency Analyses. CoRR (2023)
Pritam Choudhury
Monadic and comonadic aspects of dependency analysis. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Pritam Choudhury
Monadic and Comonadic Aspects of Dependency Analysis. CoRR (2022)
Pritam Choudhury, Harley Eades III, Stephanie Weirich
A Dependent Dependency Calculus. ESOP (2022)
Pritam Choudhury, Harley Eades III, Stephanie Weirich
A Dependent Dependency Calculus (Extended Version). CoRR (2022)
Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie Weirich
A graded dependent type system with a usage-aware semantics. Proc. ACM Program. Lang. 5 (POPL) (2021)
Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie C. Weirich
A graded dependent type system with a usage-aware semantics (extended version). CoRR (2020)
Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg
A role for dependent types in Haskell. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg
A Role for Dependent Types in Haskell (Extended version). CoRR (2019)