David C. J. Matthews

According to our database, David C. J. Matthews authored at least 8 papers between 1983 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework.

Gabriel Dos Reis, David C. J. Matthews, Yue Li

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Efficient parallel programming in Poly/ML and Isabelle/ML.

David C. J. Matthews, Makarius Wenzel

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

1995

LEMMA: A Distributed Shared Memory with Global and Local Garbage Collection

David C. J. Matthews, Thierry Le Sergent

Proceedings of the Memory Management, 1995

1987

Progress with Persistence in Poly and Poly/ML.

David C. J. Matthews

Proceedings of the Persistent Object Systems: Their Design Implementation and Use. Proceedings of the Second International Workshop, 1987

Static and Dynamic Type Checking.

David C. J. Matthews

Proceedings of the Advances in Database Programming Languages, 1987

1985

Poly manual.

David C. J. Matthews

ACM SIGPLAN Notices, 1985

An Overview of the Poly Programming Language.

David C. J. Matthews

Proceedings of the Data Types and Persistence, 1985

1983

Programming language design with polymorphism.

David C. J. Matthews

PhD thesis, 1983