2 citations · 4 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 1 cited
Monadic and Comonadic Aspects of Dependency Analysis
Pritam Choudhury
Dependency analysis is vital to several applications in computer science. It lies at the essence of secure information flow analysis, binding-time analysis, etc. Various calculi ha…
cs.PL2022
A Dependent Dependency Calculus (Extended Version)
Pritam Choudhury, Harley Eades, Stephanie Weirich
Over twenty years ago, Abadi et al. established the Dependency Core Calculus (DCC) as a general purpose framework for analyzing dependency in typed programming languages. Since the…