Poly
<language> 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)
 
  
 
  
Nearby terms: 
							Polka « poll « polling « Poly » polygon 
							pusher » POLYGOTH » polylithism
 
							
					  |