Jump to user comments
useful as an intermediate language. Lean is descended from
Clean is a subset of Lean.
["Towards an Intermediate Language Based on Graph Rewriting",
H.P. Barendregt et al in PARLE: Parallel Architectures and
Languages Europe, G. Goos ed, LNCS 259, Springer 1987,
pp.159-175].
(1995-01-25)