An Implementation of Session Types.

Matthias Neubauer Peter Thiemann

Published in: PADL (2004)

Keyphrases

image processing
decision trees
image sequences
multiscale
special case
user interaction