Testing Marx: some new results from UK data P Cockshott, A Cottrell, G Michaelson Capital & Class 19 (1), 103-130, 1995 | 187 | 1995 |
Hume: a domain-specific language for real-time embedded systems K Hammond, G Michaelson International Conference on Generative Programming and Component Engineering …, 2003 | 181 | 2003 |
Research directions in parallel functional programming K Hammond, G Michaelson Springer Science & Business Media, 2012 | 164 | 2012 |
An introduction to functional programming through lambda calculus G Michaelson Courier Corporation, 2011 | 156 | 2011 |
Classical econophysics WP Cockshott, A Cottrell, GJ Michaelson, IP Wright, VM Yakovenko Routledge, 2009 | 150* | 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 | 132 | 2003 |
Computation and its Limits P Cockshott, LM Mackenzie, G Michaelson OUP Oxford, 2012 | 79 | 2012 |
Teaching programming with computational and informational thinking G Michaelson University of Bedfordshire, 2015 | 67 | 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 | 67 | 2001 |
Improved type error reporting J Yang, GJ Michaelson, P Trinder, JB Wells Proceedings of 12th Int'l Workshop Implementation Functional Languages, 2000 | 65 | 2000 |
Computer usage and attitudes among Saudi Arabian undergraduate students M Alothman, J Robertson, G Michaelson Computers & Education 110, 127-142, 2017 | 55 | 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 | 49 | 2005 |
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 |
Are there new models of computation? Reply to Wegner and Eberbach P Cockshott, G Michaelson The Computer Journal 50 (2), 232-247, 2007 | 39 | 2007 |
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 | 35 | 2014 |
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 |
Prototyping a parallel vision system in Standard ML G Michaelson, N Scaife Journal of functional programming 5 (3), 345-382, 1995 | 33 | 1995 |
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 | 32 | 2018 |
Explaining polymorphic types Y Jun, G Michaelson, P Trinder The Computer Journal 45 (4), 436-452, 2002 | 31 | 2002 |
Gender in email based co-operative problem solving G Michaelson, M Pohl E. Green and A. Adam (Eds), Virtual Gender: technology, consumption and …, 2001 | 31* | 2001 |