Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Pritam Choudhury
Map detail
Pritam Choudhury4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipPritam ChoudhuryAPritam ChoudhuryResearcherA Dependent Dependency Calculus (Extended Version)WA Dependent Dependency ...preprint / 2022Monadic and Comonadic Aspects of Dependency AnalysisWMonadic and Comonadic A...preprint / 2022A graded dependent type system with a usage-aware semantics (extended version)WA graded dependent type...preprint / 2021
Person3 links

Pritam Choudhury

Researcher