Representing Guardedness in Call-by-Value and Guarded Parametrized Monads.

Sergey Goncharov

Published in: CoRR (2024)

Keyphrases

database
bayesian networks
pattern recognition
data streams
expert systems
constraint satisfaction problems