Clean

A general-purpose, concurrent, higher-order, pure and lazy functional programming language for the development of sequential, parallel and distributed real world applications. Basically it's Haskell with dataflow semantics and linear types.


This page is linked from: Lambda VM   Linear Logic   Linearity 101   Type System