Clean

A subset of Lean. An experimental lazy higher-order functional language with no syntactic sugaring (not even infix expressions or complex lists.) Also used as an intermediate language. Implemented via graph rewriting on the ABC abstract machine. See Concurrent Clean.

"Clean - A Language for Functional Graph Rewriting", T. Brus et al, IR 95, University of Nijmegen, Feb 1987.