| Hume: a domain-specific language for real-time embedded systems K Hammond, G Michaelson Generative Programming and Component Engineering: Second International …, 2003 | 177 | 2003 |
| Testing Marx: some new results from UK data P Cockshott, A Cottrell, G Michaelson Capital & Class 19 (1), 103-130, 1995 | 177 | 1995 |
| Research directions in parallel functional programming K Hammond, G Michaelson Springer Science & Business Media, 2012 | 159 | 2012 |
| An introduction to functional programming through lambda calculus G Michaelson Courier Corporation, 2011 | 144 | 2011 |
| Classical econophysics WP Cockshott, A Cottrell, GJ Michaelson, IP Wright, VM Yakovenko Routledge, 2009 | 139* | 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 | 128 | 2003 |
| Computation and its Limits P Cockshott, LM Mackenzie, G Michaelson OUP Oxford, 2012 | 73 | 2012 |
| Nested algorithmic skeletons from higher order functions G Michaelson, N Scaife, P Bristow, P King PARALLEL ALGORITHMS AND APPLICATION 16 (3), 181-206, 2001 | 68 | 2001 |
| Teaching programming with computational and informational thinking G Michaelson University of Bedfordshire, 2015 | 62 | 2015 |
| Improved type error reporting J Yang, GJ Michaelson, P Trinder, JB Wells Proceedings of 12th Int'l Workshop Implementation Functional Languages, 2000 | 60 | 2000 |
| 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 |
| Computer usage and attitudes among Saudi Arabian undergraduate students M Alothman, J Robertson, G Michaelson Computers & Education 110, 127-142, 2017 | 42 | 2017 |
| 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 | 39 | 1997 |
| Are there new models of computation? Reply to Wegner and Eberbach P Cockshott, G Michaelson The Computer Journal 50 (2), 232-247, 2007 | 33 | 2007 |
| 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 | 33 | 1992 |
| 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 | 32 | 2014 |
| Prototyping a parallel vision system in Standard ML G Michaelson, N Scaife Journal of functional programming 5 (3), 345-382, 1995 | 32 | 1995 |
| Explaining polymorphic types Y Jun, G Michaelson, P Trinder The Computer Journal 45 (4), 436-452, 2002 | 30 | 2002 |
| Managing heterogeneity in a grid parallel Haskell AD Al Zain, PW Trinder, G Michaelson, HW Loidl Scalable Computing: Practice and Experience 7 (3), 2006 | 29 | 2006 |
| Gender in email based co-operative problem solving G Michaelson, M Pohl E. Green and A. Adam (Eds), Virtual Gender: technology, consumption and …, 2001 | 29* | 2001 |
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
