Source : Free On-Line Dictionary of Computing

Caliban
     
        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)