Soft Session Types (Long Version)

Ugo Dal Lago Paolo Di Giamberardino

Published in: CoRR (2011)

Keyphrases

real time
decision trees
image processing
three dimensional
database systems
feature extraction
preprocessing