Session Typing for a Featherweight Erlang.

Dimitris Mostrous Vasco Thudichum Vasconcelos

Published in: COORDINATION (2011)

Keyphrases

computer vision
artificial neural networks
database
machine learning
artificial intelligence
image processing
cooperative
lower bound
measurement data