Click on the publication titles for download links and full bibliographical information, including abstracts

Table of Contents

Publications

  • Supercompilation and the Reduceron, Jason S. Reich and Matthew Naylor and Colin Runciman.

    Proceedings of the Second International Workshop on Metacomputation in Russia, July 2010.

  • Lazy generation of canonical test programs, Jason S. Reich and Matthew Naylor and Colin Runciman.

    Proceedings of the 23rd Symposium on Implementation and Application of Functional Languages, To be published 2012.

Degree Coursework

Presentations