| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 6 |      | David C. J. Matthews, Makarius Wenzel: Efficient parallel programming in Poly/ML and Isabelle/ML. DAMP 2010: 53-62 |
| 1995 | ||
| 5 | | David C. J. Matthews, Thierry Le Sergent: LEMMA: A Distributed Shared Memory with Global and Local Garbage Collection IWMM 1995: 297-311 |
| 1987 | ||
| 4 | | David C. J. Matthews: Static and Dynamic Type Checking. DBPL 1987: 67-73 |
| 3 | | David C. J. Matthews: Progress with Persistence in Poly and Poly/ML. POS 1987: 309-316 |
| 1985 | ||
| 2 | | David C. J. Matthews: An Overview of the Poly Programming Language. Data Types and Persistence (Appin) 1985: 43-50 |
| 1 | | David C. J. Matthews: An Overview of the Poly Programming Language. Data Types and Persistence (Appin), Informal Proceedings 1985: 255-263 |
| 1 | Thierry Le Sergent | [5] |
| 2 | Markus Wenzel (Makarius Wenzel) | [6] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page