Skip to main content

1 Result(s)

within Pritam Choudhury Remove this filter

and

  1. Chapter and Conference Paper

    A Dependent Dependency Calculus

    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 then, dependency analysis has sh...

    Pritam Choudhury, Harley Eades III, Stephanie Weirich in Programming Languages and Systems (2022)

    Download PDF (697 KB)