| Testing Marx: some new results from UK data P Cockshott, A Cottrell, G Michaelson Capital & Class 19 (1), 103-130, 1995 | 191 | 1995 |
| Hume: a domain-specific language for real-time embedded systems K Hammond, G Michaelson International Conference on Generative Programming and Component Engineering …, 2003 | 186 | 2003 |
| An introduction to functional programming through lambda calculus G Michaelson Courier Corporation, 2013 | 165 | 2013 |
| Research directions in parallel functional programming K Hammond, G Michaelson Springer Science & Business Media, 2012 | 164 | 2012 |
| Classical econophysics WP Cockshott, A Cottrell, GJ Michaelson, IP Wright, VM Yakovenko Routledge, 2009 | 160* | 2009 |
| Comparing parallel functional languages: Programming and performance HW Loidl, F Rubio, N Scaife, K Hammond, S Horiguchi, U Klusik, ... Higher-Order and Symbolic Computation 16, 203-251, 2003 | 131 | 2003 |
| Computation and its Limits P Cockshott, LM Mackenzie, G Michaelson OUP Oxford, 2012 | 87 | 2012 |
| Teaching programming with computational and informational thinking G Michaelson University of Bedfordshire, 2015 | 71 | 2015 |
| Nested algorithmic skeletons from higher order functions G Michaelson, N Scaife, P Bristow, P King PARALLEL ALGORITHMS AND APPLICATION 16 (3), 181-206, 2001 | 66 | 2001 |
| Improved type error reporting J Yang, GJ Michaelson, P Trinder, JB Wells Proceedings of 12th Int'l Workshop Implementation Functional Languages, 2000 | 64 | 2000 |
| Computer usage and attitudes among Saudi Arabian undergraduate students M Alothman, J Robertson, G Michaelson Computers & Education 110, 127-142, 2017 | 61 | 2017 |
| A parallel SML compiler based on algorithmic skeletons N Scaife, S Horiguchi, G Michaelson, P Bristow Journal of Functional Programming 15 (4), 615-650, 2005 | 50 | 2005 |
| Are there new models of computation? Reply to Wegner and Eberbach P Cockshott, G Michaelson The Computer Journal 50 (2), 232-247, 2007 | 41 | 2007 |
| Automatic assessment of elementary Standard ML programs using Ceilidh SP Foubister, GJ Michaelson, N Tomes Journal of Computer Assisted Learning 13 (2), 99-108, 1997 | 41 | 1997 |
| Code or (not code) separating formal and natural language in CS education Q Cutts, R Connor, G Michaelson, P Donaldson Proceedings of the 9th Workshop in Primary and Secondary Computing Education …, 2014 | 36 | 2014 |
| RIPL: A parallel image processing language for FPGAs R Stewart, K Duncan, G Michaelson, P Garcia, D Bhowmik, A Wallace ACM transactions on reconfigurable technology and systems (TRETS) 11 (1), 1-24, 2018 | 34 | 2018 |
| Dynamic control and prototyping of parallel algorithms for intermediate-and high-level vision AM Wallace, GJ Michaelson, P McAndrew, KG Waugh, WJ Austin Computer 25 (2), 43-53, 1992 | 34 | 1992 |
| Optimized memory allocation and power minimization for FPGA-based image processing P Garcia, D Bhowmik, R Stewart, G Michaelson, A Wallace Journal of Imaging 5 (1), 7, 2019 | 33 | 2019 |
| Prototyping a parallel vision system in Standard ML G Michaelson, N Scaife Journal of functional programming 5 (3), 345-382, 1995 | 33 | 1995 |
| Explaining polymorphic types Y Jun, G Michaelson, P Trinder The Computer Journal 45 (4), 436-452, 2002 | 31 | 2002 |
W. Paul CockshottReader, Computing Science, University of GlasgowVerified email at glasgow.ac.uk
