Strong Call-by-Value is Reasonable, Implosively.

Beniamino Accattoli Andrea Condoluci Claudio Sacerdoti Coen

Published in: LICS (2021)

Keyphrases

high level
learning algorithm
high quality
databases
computer vision
spatio temporal
small number
data sets
machine learning
decision trees
multiresolution
domain knowledge