A Diagrammatic Calculus for Algebraic Effects.

Ugo Dal Lago Francesco Gavazzo

Published in: CoRR (2020)

Keyphrases

algebraic structure
computer algebra
computer based instruction
negative effects
real time
data sets
information retrieval
website
multiscale
multi agent
higher order
symbolic reasoning