Documentation for Poly/ML
Poly/ML for Motif
Quick Reference Manual
for X Reference Manual (PDF)
Programming in Poly/ML
Level Debugging in Poly/ML
the Poly/ML Source Code
Poly/ML gets its name because the original implementation was written in a language called Poly. This was developed by David Matthews at Cambridge University as part of a PhD project. Most of the papers to do with Poly are now out of print so for those interested in Poly three papers are now available.
The earliest document is the Introduction to Poly written in 1982. This describes how to write simple programs in Poly.
The Overview of the Poly Programming Language was presented at the First Workshop on Persistent Objects, Appin, Scotland in August 1985.
The Poly Manual is probably the most complete and up to date description of the language. This has gone through a number of versions and was published in an early version in SIGPLAN Notices in September 1985.