Behavioural Equivalence via Modalities for Algebraic Effects.

Alex Simpson Niels F. W. Voorneveld

Published in: ESOP (2018)

Keyphrases

real time
multiscale
user interface
machine learning
learning algorithm
web services
decision trees
bayesian networks