Poly
1. D.C.J. Matthews, Cambridge, early 80's. Polymorphic,
block-structured.
"An Overview of the Poly Programming Language", D.C.J.
Matthews , in Data Types and Persistence,
M.P. Atkinson et al eds, Springer 1988.
2. St Andrews U, Scotland. Software Prac & Exp, Oct 1986.
3. {Polymorphic} language used in Polymorphic Programming
Languages, David M. Harland, Ellis Horwood 1984.