Concurrent Euclid
Positive Strong Influence
Haskell
Extension of
Eden (1137)