Strong Call-by-Value and Multi Types.

Beniamino Accattoli Giulio Guerrieri Maico Leberle

Published in: ICTAC (2023)

Keyphrases

computer vision
information systems
databases
learning algorithm
image sequences
preprocessing
pairwise