David C. J. Matthews

Publication Activity (10 Years)

Years Active: 1985-2011
Publications (10 Years): 0

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Gabriel Dos Reis, David C. J. Matthews, Yue Li
Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework. Calculemus/MKM (2011)
David C. J. Matthews, Makarius Wenzel
Efficient parallel programming in Poly/ML and Isabelle/ML. DAMP (2010)
David C. J. Matthews, Thierry Le Sergent
LEMMA: A Distributed Shared Memory with Global and Local Garbage Collection IWMM (1995)
David C. J. Matthews
Static and Dynamic Type Checking. DBPL (1987)
David C. J. Matthews
Progress with Persistence in Poly and Poly/ML. POS (1987)
David C. J. Matthews
Poly manual. ACM SIGPLAN Notices 20 (9) (1985)
David C. J. Matthews
An Overview of the Poly Programming Language. Data Types and Persistence (Appin) (1985)
David C. J. Matthews
An Overview of the Poly Programming Language. Data Types and Persistence (Appin), Informal Proceedings (1985)