| A graded dependent type system with a usage-aware semantics P Choudhury, H Eades III, RA Eisenberg, S Weirich Proceedings of the ACM on Programming Languages 5 (POPL), 1-32, 2021 | 34 | 2021 |
| A role for dependent types in Haskell S Weirich, P Choudhury, A Voizard, RA Eisenberg Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019 | 12 | 2019 |
| A Dependent Dependency Calculus P Choudhury, H Eades III, S Weirich European Symposium on Programming, 403-430, 2022 | 6 | 2022 |
| Constructive representation of nominal sets in Agda P Choudhury Master’s thesis, Robinson College, University of Cambridge, 2015 | 6 | 2015 |
| Monadic and comonadic aspects of dependency analysis P Choudhury Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1320-1348, 2022 | 5 | 2022 |
| A Role for Dependent Types in Haskell (Extended version) S Weirich, P Choudhury, A Voizard, RA Eisenberg arXiv preprint arXiv:1905.13706, 2019 | 3 | 2019 |
| A graded dependent type system with a usage-aware semantics (extended version) P Choudhury, H Eades III, RA Eisenberg, SC Weirich arXiv preprint arXiv:2011.04070, 2020 | 1 | 2020 |
| Unifying Linearity and Dependency Analyses P Choudhury arXiv preprint arXiv:2304.03175, 2023 | | 2023 |
| Dependency and Linearity Analyses in Pure Type Systems P Choudhury University of Pennsylvania, 2023 | | 2023 |
| A Dependent Dependency Calculus (Extended Version) P Choudhury, H Eades III, S Weirich arXiv preprint arXiv:2201.11040, 2022 | | 2022 |
