Login / Signup
A graded dependent type system with a usage-aware semantics (extended version).
Pritam Choudhury
Harley Eades III
Richard A. Eisenberg
Stephanie C. Weirich
Published in:
CoRR (2020)
Keyphrases
</>
alternating time temporal logic
real time
artificial intelligence
search engine
information systems
logic programming
conceptual model
formal semantics
database query languages
database
data structure
search algorithm
query language
type checking