Implementing Open Call-by-Value (Extended Version).

Beniamino Accattoli Giulio Guerrieri

Published in: CoRR (2017)

Keyphrases

cooperative
feature extraction
efficient implementation
artificial intelligence
search engine
multiscale
data structure
learning environment
mobile robot