A declarative annotation language for controlling the

partitioning and placement of the evaluation of expressions in

a distributed functional language. Designed by Paul Kelly

[email protected], Imperial College.