A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs

Gwenaël Delaval Alain Girault Marc Pouzet

Published in: CoRR (2012)

Keyphrases

higher order
natural images
probability distribution
control flow
pairwise
spatial distribution
data flow
lower order
fully automatic
high order
uniformly distributed
lambda calculus
recently developed
expert systems
markov models
low order
semi automatic
database machine