Session Types for Functional Multithreading.

Vasco Thudichum Vasconcelos António Ravara Simon J. Gay

Published in: CONCUR (2004)

Keyphrases

higher order
multithreading
real time
highly efficient
image sequences
dynamic programming
computational power
parallel computing
coarse grained