LINDA meets functional programming

A notation for describing parallel evaluation of functional expressions is presented. The notation is an extension of a functional language by the LINDA concept. This concept introduces the notion of process and communication between processes by means of a so-called tuple space. The notation strictly distinguishes between processes which map tuple spaces to tuple spaces and pure functions defined on data domains. The referential transparency of functional expressions is preserved by a notation and an operational semantics which separates the level on which processes are expressed from the level on which functions on data domains are described. >