Type-Based Termination for Futures.

Siva Somayyajula Frank Pfenning

Published in: FSCD (2022)

Keyphrases

type checking
multiresolution
neural network
case study
learning environment
relational databases
probabilistic model