Old Web
English
Sign In
Acemap
>
Paper
>
Artifact for "A Graded Dependent Type System with a Usage-Aware Semantics"
Artifact for "A Graded Dependent Type System with a Usage-Aware Semantics"
2020
Pritam Choudhury
Harley Eades
Richard A. Eisenberg
Stephanie Weirich
Keywords:
Programming language
Dependent type
Computer science
Semantics
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]