FP2

Functional Parallel Programming

A language in which term rewrite rules are used to specify algebraic data types and parallel processes.

"Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language. A Case Study: The Language FP2", Ph. Jorrand in Fundamentals of Artificial Intelligence, Lecture Notes in Computer Science 258, Springer-Verlag, 1986, pp.221-276.