Caliban - Kelly, Imperial College. Declarative annotation language,
controlling the partitioning and placement of the evaluation of expressions
in a distributed functional language. "Functional Programming for Loosely-
coupled Multiprocessors", P. Kelly, Pitman/MIT Press,
1989.
Comments, Experience, Additions
Next Language: C+@