18 Jan
2026
18 Jan
'26
6:33 p.m.
On 18/01/2026 17:40, Duke Normandin wrote:
From: INTRODUCTION TO POLY D.C.J. Matthews,May 1982 Computer Laboratory, University of Cambridge
This refers to the Poly language that I designed and implemented for my PhD back in the early eighties. The present "poly" is an implementation of the Standard ML language. The original implementation was written in Poly although it was later translated into ML.
There's a brief explanation at https://polyml.org/Doc.html .
David