A declarative annotation language for controlling the
partitioning and placement of the evaluation of expressions in
a distributed
functional language. Designed by Paul Kelly
<phjk@doc.ic.ac.uk>, Imperial College.
["Functional Programming for Loosely-coupled Multiprocessors",
P. Kelly, Pitman/MIT Press, 1989].