No value restriction is needed for algebraic effects and handlers.

Ohad Kammar Matija Pretnar

Published in: J. Funct. Program. (2017)

Keyphrases

artificial intelligence
digital libraries
higher order
real time
data mining
machine learning
learning algorithm
website
feature extraction
search algorithm
natural language
linear algebra