PROOF/L

A language with implicit parallelism. It is functional and object-oriented.

Journal of Parallel and Distributed Computing 12:202-212 (1991). Forthcoming TR from RADC. [?]