Programming language design with polymorphism. - David C. J. Matthews (1983)

An Overview of the Poly Programming Language. - David C. J. Matthews (Data Types and Persistence (Appin), Informal Proceedings, 1985)

Poly manual. - David C. J. Matthews (ACM SIGPLAN Notices, 1985)

Static and Dynamic Type Checking. - David C. J. Matthews (DBPL, 1987)

Progress with Persistence in Poly and Poly/ML. - David C. J. Matthews (POS, 1987)

LEMMA: A Distributed Shared Memory with Global and Local Garbage Collection - David C. J. Matthews; Thierry Le Sergent (IWMM, 1995)

Efficient parallel programming in Poly/ML and Isabelle/ML. - David C. J. Matthews; Makarius Wenzel (DAMP, 2010)

Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework. - Gabriel Dos Reis; David C. J. Matthews; Yue Li (Calculemus/MKM, 2011)