Fingerprint
Dive into the research topics of 'A graded dependent type system with a usage-aware semantics'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Pritam Choudhury, Harley Eades, Richard A. Eisenberg, Stephanie Weirich
Research output: Contribution to journal › Article › peer-review