Call-by-Value Solvability and Multi Types.

Beniamino Accattoli Giulio Guerrieri

Published in: CoRR (2022)

Keyphrases

machine learning
real time
real world
information retrieval
image processing
three dimensional
video sequences
cooperative
mobile devices