Pritam Choudhury

Orcid: 0000-0003-0432-7820

According to our database¹, Pritam Choudhury authored at least 8 papers between 2019 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Unifying Linearity and Dependency Analyses.

[BibT_eX]

[DOI]

Pritam Choudhury

CoRR, 2023

2022

Monadic and comonadic aspects of dependency analysis.

[BibT_eX]

[DOI]

Pritam Choudhury

Proc. ACM Program. Lang., 2022

A Dependent Dependency Calculus (Extended Version).

[BibT_eX]

[DOI]

Pritam Choudhury

Harley Eades III

Stephanie Weirich

CoRR, 2022

A Dependent Dependency Calculus.

[BibT_eX]

[DOI]

Pritam Choudhury

Harley Eades III

Stephanie Weirich

Proceedings of the Programming Languages and Systems, 2022

2021

A graded dependent type system with a usage-aware semantics.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

2020

A graded dependent type system with a usage-aware semantics (extended version).

[BibT_eX]

[DOI]

CoRR, 2020

2019

A role for dependent types in Haskell.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

A Role for Dependent Types in Haskell (Extended version).

[BibT_eX]

[DOI]

CoRR, 2019

Pritam Choudhury

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...