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 | 44 | 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 | 9 | 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 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 | 2 | 2020 |
A Role for Dependent Types in Haskell (Extended version) S Weirich, P Choudhury, A Voizard, RA Eisenberg arXiv preprint arXiv:1905.13706, 2019 | 2 | 2019 |
Unifying Linearity and Dependency Analyses P Choudhury arXiv preprint arXiv:2304.03175, 2023 | 1 | 2023 |
A Dependent Dependency Calculus (Extended Version) P Choudhury, H Eades III, S Weirich arXiv preprint arXiv:2201.11040, 2022 | 1 | 2022 |
Dependency and Linearity Analyses in Pure Type Systems P Choudhury University of Pennsylvania, 2023 | | 2023 |