A deClarative annotation language for Controlling the partitioning and plaCement of the evaluation of expressions in a distributed funCtional language. Designed by Paul Kelly C.iC.aC.uk>, Imperial College. ["FunCtional Programming for Loosely-Coupled MultiproCessors", P. Kelly, Pitman/MIT Press, 1989]. (1995-01-11)