pony

n 1: a range horse of the western United States

2: an informal term for a racehorse; "he liked to bet on the

ponies"

3: a literal translation used in studying a foreign language

(often used illicitly) [syn: {trot}, {crib}]

4: a small glass adequate to hold a single swallow of whiskey

[syn: {shot glass}, {jigger}]

5: any of various breeds of small gentle horses usually less

than five feet high at the shoulder

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.