Choudhury, Pritam

1. A graded dependent type system with a usage-aware semantics (extended version)
   2020/11/08 by Choudhury, Pritam, Eades, Harley, Eisenberg, Richard A. +1 · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. A Role for Dependent Types in Haskell (Extended version)
   2019/05/31 by Stephanie Weirich, Pritam Choudhury, Weirich, Stephanie +5 · 2 voices
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing #cs.PL