Jenkins, Michael and Michel, Jean "On Types in Recursive Data Structures: A Study from the APL Literature". Proceedings of the 5th Jerusalem Conference on Info. Tech., 523-538, August 1978

Languages mentioned

• ALICE {1980} Typed APL