◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Pritam Choudhury

5 papers hereh-index 470 citations11 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author2
  • first author2
  • middle author1

Across the 5 of 5 papers where every author was matched, so the position is known.

fields
  • cs.PL5

identity via Semantic Scholar / OpenAlex

activity
20192023
most citedA graded dependent type system with a usage-aware semantics (extended version)

2 citations · 4 across the 5 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.PL2023

Unifying Linearity and Dependency Analyses

Pritam Choudhury

Linearity and dependency analyses are key to several applications in computer science, especially, in resource management and information flow control. What connects these analyses…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.