Abstract machines for Open Call-by-Value.

Beniamino Accattoli Giulio Guerrieri

Published in: Sci. Comput. Program. (2019)

Keyphrases

real time
information retrieval
artificial intelligence
feature selection
higher level
search engine
three dimensional
multi agent
probability distribution
parallel machines
learning machines
state machines