Follow
Pritam Choudhury
Title
Cited by
Cited by
Year
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
442021
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
122019
A Dependent Dependency Calculus
P Choudhury, H Eades III, S Weirich
European Symposium on Programming, 403-430, 2022
92022
Constructive representation of nominal sets in Agda
P Choudhury
Master’s thesis, Robinson College, University of Cambridge, 2015
62015
Monadic and comonadic aspects of dependency analysis
P Choudhury
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1320-1348, 2022
52022
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
22020
A Role for Dependent Types in Haskell (Extended version)
S Weirich, P Choudhury, A Voizard, RA Eisenberg
arXiv preprint arXiv:1905.13706, 2019
22019
Unifying Linearity and Dependency Analyses
P Choudhury
arXiv preprint arXiv:2304.03175, 2023
12023
A Dependent Dependency Calculus (Extended Version)
P Choudhury, H Eades III, S Weirich
arXiv preprint arXiv:2201.11040, 2022
12022
Dependency and Linearity Analyses in Pure Type Systems
P Choudhury
University of Pennsylvania, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–10