An Effect System for Algebraic Effects and Handlers.

Andrej Bauer Matija Pretnar

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

negative impact
negative effects
positive effects
interaction effects
factorial design
knowledge base
three dimensional
real time
digital libraries
higher order
data model
evolutionary algorithm
search algorithm
cooperative
data structure
information retrieval
machine learning
databases