Eden

[.. it] provides a new perspective on parallel programming. It gives programmers enough control to implement their parallel algorithms efficiently (including granularity issues) and at the same time frees them from the low level details of process management. Eden is explicit about processes and their incoming and outgoing data, but abstracts from the transfer of these data between processes and the necessary synchronisation. An Eden program defines a system of processes which exchange data on communication channels. The latter are modeled by head-strict lazy lists, as in stream-based I/O. Eden extends the lazy functional language Haskell but overrules lazy evaluation whenever it is necessary to support parallelism. [..]

• Eden home page.