Not registered as user yet

Name: Pritam Choudhury

Affiliation: University of Pennsylvania

Contributions

ICFP 2019Author of A Role for Dependent Types in Haskell within the Research Papers-track