| Advances in lazy smallcheck JS Reich, M Naylor, C Runciman Implementation and Application of Functional Languages: 24th International …, 2013 | 21 | 2013 |
| Supercompilation and the Reduceron JS Reich, M Naylor, C Runciman Proceedings of the Second International Workshop on Metacomputation in …, 2010 | 10 | 2010 |
| Lazy Generation of Canonical Test Programs JS Reich, M Naylor, C Runciman Implementation and Application of Functional Languages, LNCS 7257, 69-84, 2012 | 9 | 2012 |
| Property-based Testing and Properties as Types: A hybrid approach to supercompiler verification JS Reich University of York, 2013 | 4 | 2013 |
| Towards a Dependable Supercompiler for the Reduceron JS Reich Qualifying dissertation, University of York, 2010 | 1 | 2010 |
| Optimus Prime: A new tool for interactive transformation and supercompilation of functional programs JS Reich Masters dissertation, University of York, 2009 | 1 | 2009 |
| Towards a Dependable Optimising Compiler for the Reduceron JS Reich | | 2011 |
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
