David C. J. Matthews

Learn More
Standard ML is an established programming language with a well-understood semantics. Several projects have enriched the language with primitives or constructions for concurrency, among them Poly/ML and LCS. We describe rst the previous run-time systems for Poly/ML and LCS and then the development of a new memory management system, LEMMA, which allows(More)
The purpose of a type checker is to prevent an incorrect operation from being performed. A static type checker does this by stopping the compiler from generating a program with type errors, a dynamic type checker halts the program as it is about to make a type error. It is clearly useless to have a dynamic type checking system for a program which is to be(More)
The paper describes the progress made on using persistence in the Poly programming language and some of the issues which still have to be resolved. For some time Poly has been implemented on a persistent storage system which has allowed objects to be loaded transparently into store and modiied objects to be written out again. This has proved to be a(More)
This study details the use of printing and other additive processes to fabricate a novel amperometric glucose sensor. The sensor was fabricated using a Au coated 12.7 μm thick polyimide substrate as a starting material, where micro-contact printing, electrochemical plating, chloridization, electrohydrodynamic jet (e-jet) printing, and spin coating were used(More)
This study details the use of printing and other additive processes to fabricate a novel amperometric glucose sensor. The sensor was fabricated using a Au coated 12.7 μm thick polyimide substrate as a starting material, where micro-contact printing, electrochemical plating, chloridization, electrohydrodynamic jet (e-jet) printing, and spin coating were used(More)
Cellulose nanocrystal (CNC) aerogels are coated with thin conformal layers of Al2O3 using atomic layer deposition to form hybrid organic/inorganic nanocomposites. Electron probe microanalysis and scanning electron microscopy analysis indicated the Al2O3 penetrated more than 1500 lm into the aerogel for extended precursor pulse and exposure/purge times. The(More)