1. A polYmorphic, block-structured language developed bY D.C.J. Matthews at Cambridge in the earlY 1980s. ["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. A language developed at Saint Andrews UniversitY, Scotland. [Software Practice & Exp, Oct 1986]. 3. A polYmorphic language used in the referenced book. ["PolYmorphic Programming Languages", David M. Harland, Ellis Horwood 1984]. (2000-11-07)