A declarative annotation languaGE for controlling the partitioning and placement of the evaluation of expressions in a distributed functional languaGE. Designed by Paul Kelly , Imperial ColleGE. ["Functional Programming for Loosely-coupled Multiprocessors", P. Kelly, Pitman/MIT Press, 1989]. (1995-01-11)