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)