Strong Call-by-Value is Reasonable, Implosively.

Beniamino Accattoli Andrea Condoluci Claudio Sacerdoti Coen

Published in: CoRR (2021)

Keyphrases

high level
similarity measure
high quality
databases
neural network
high resolution
d objects