Elementary affine λ-calculus with multithreading and side effects

Antoine Madet Roberto M. Amadio

Published in: CoRR (2011)

Keyphrases

multithreading
computational power
parallel computing
highly efficient
image registration
shared memory
coarse grained
distributed memory
memory efficient