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