Strong Call-by-Value and Multi Types.

Beniamino Accattoli Giulio Guerrieri Maico Leberle

Published in: CoRR (2023)

Keyphrases

multiscale
databases
neural network
information retrieval
database
decision making
pairwise
wireless sensor networks
input image
co occurrence
varying degrees