Poly

Poly and Standard ML

David C. J. Matthews (article, 1985)

An Overview of the Poly Programming Language

D. C. J. Matthews (incollection, 1988)

Papers on Poly/ML

D. C. J. Matthews (techreport, 1995)