Login / Signup

Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description).

Ankush DasFrank Pfenning
Published in: FSCD (2020)
Keyphrases
  • multiscale
  • learning algorithm
  • image sequences
  • data mining
  • high level
  • reinforcement learning