Concurrency and the Algebraic Theory of Effects - (Abstract).

Gordon D. Plotkin

Published in: CONCUR (2012)

Keyphrases

algebraic geometry
mathematical theory
set theoretic
real time
database systems
theoretical foundation
linear algebra
computer algebra
data sets
databases
query processing
theoretical framework
concurrency control
data flow
general theory