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.

["Functional Programming for Loosely-coupled Multiprocessors", P. Kelly, Pitman/MIT Press, 1989].