Login / Signup
Stephanie C. Weirich
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Type Checking
Alternating Time Temporal Logic
Database Query Languages
Search Algorithm
Top Venues
CoRR
</>
Publications
</>
Pritam Choudhury
,
Harley Eades III
,
Richard A. Eisenberg
,
Stephanie C. Weirich
A graded dependent type system with a usage-aware semantics (extended version).
CoRR
(2020)