Login / Signup

A graded dependent type system with a usage-aware semantics.

Pritam ChoudhuryHarley Eades IIIRichard A. EisenbergStephanie Weirich
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • evolutionary algorithm
  • real time
  • information retrieval
  • learning algorithm
  • video sequences
  • formal semantics
  • database query languages
  • alternating time temporal logic