Caliban

Paul Kelly, Imperial College

A declarative annotation language for controlling the partitioning and placement of the evaluation of expressions in a distributed functional language.

Functional Programming for Loosely-coupled Multiprocessors, Paul Kelly, MIT Press, 1989.