Jenkins, Michael and Michel, Jean "On Types in Recursive Data Structures: A Study from the APL Literature" QUTR 77-59, Dec. 1977.

Languages mentioned

• ALICE {1980} Typed APL