Using session types as an effect system.

Dominic A. Orchard Nobuko Yoshida

Published in: PLACES (2015)

Keyphrases

data sets
reinforcement learning
data streams
preprocessing
database
genetic algorithm
artificial intelligence
feature selection
image sequences
multiscale
email
web search