Mona

Mona was a minor variation of Oberon that sported recursive data types, Mona author Martin Odersky went on to write Scala which sports recursive data types.

Publications

 * Martin Odersky: Recursive data types and a report on the Mona notation of algorithms - 1989 PDF