A Role for Dependent Types in Haskell (Extended version). - Stephanie Weirich; Pritam Choudhury; Antoine Voizard; Richard A. Eisenberg (CoRR, 2019)

A role for dependent types in Haskell. - Stephanie Weirich; Pritam Choudhury; Antoine Voizard; Richard A. Eisenberg (Proc. ACM Program. Lang., 2019)

A graded dependent type system with a usage-aware semantics (extended version). - Pritam Choudhury; Harley Eades III; Richard A. Eisenberg; Stephanie C. Weirich (CoRR, 2020)

A graded dependent type system with a usage-aware semantics. - Pritam Choudhury; Harley Eades III; Richard A. Eisenberg; Stephanie Weirich (Proc. ACM Program. Lang., 2021)

A Dependent Dependency Calculus. - Pritam Choudhury; Harley Eades III; Stephanie Weirich (ESOP, 2022)

A Dependent Dependency Calculus (Extended Version). - Pritam Choudhury; Harley Eades III; Stephanie Weirich (CoRR, 2022)

Monadic and comonadic aspects of dependency analysis. - Pritam Choudhury (Proc. ACM Program. Lang., 2022)

Unifying Linearity and Dependency Analyses. - Pritam Choudhury (CoRR, 2023)