Sign in
Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description).
Ankush Das
Frank Pfenning
Published in:
FSCD (2020)
Keyphrases
</>
multiscale
learning algorithm
image sequences
data mining
high level
reinforcement learning