Propositions-as-types and shared state.

Pedro Rocha Luís Caires

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

state space
neural network
data sets
information systems
decision making
knowledge base
case study
face recognition
high quality
reinforcement learning
cooperative
object recognition