| Hume: a domain-specific language for real-time embedded systems K Hammond, G Michaelson International Conference on Generative Programming and Component Engineering …, 2003 | 167 | 2003 |
| Testing Marx: some new results from UK data P Cockshott, A Cottrell, G Michaelson Capital & Class 19 (1), 103-130, 1995 | 157 | 1995 |
| Research directions in parallel functional programming K Hammond, G Michaelson Springer Science & Business Media, 2012 | 145 | 2012 |
| An introduction to functional programming through lambda calculus G Michaelson Courier Corporation, 2011 | 132 | 2011 |
| 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 (3), 203-251, 2003 | 128 | 2003 |
| Classical econophysics WP Cockshott, A Cottrell, GJ Michaelson, IP Wright, VM Yakovenko Routledge, 2009 | 118* | 2009 |
| 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 |
| Computation and its Limits P Cockshott, LM Mackenzie, G Michaelson Oxford University Press, 2012 | 65 | 2012 |
| Improved type error reporting J Yang, G Michaelson, P Trinder, JB Wells In Proceedings of 12th International Workshop on Implementation of …, 2000 | 57 | 2000 |
| A parallel SML compiler based on algorithmic skeletons N Scaife, S Horiguchi, G Michaelson, P Bristow Journal of Functional Programming 15 (4), 615, 2005 | 47 | 2005 |
| Teaching programming with computational and informational thinking G Michaelson Journal of Pedagogic Development, 2015 | 45 | 2015 |
| 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 | 36 | 1997 |
| 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 | 32 | 1992 |
| Are there new models of computation? Reply to Wegner and Eberbach P Cockshott, G Michaelson The Computer Journal 50 (2), 232-247, 2007 | 30 | 2007 |
| Prototyping a Parallel Vision System in Standard ML. G Michaelson, N Scaife Journal of functional programming 5 (3), 345-382, 1995 | 30 | 1995 |
| Computer usage and attitudes among Saudi Arabian undergraduate students M Alothman, J Robertson, G Michaelson Computers & Education 110, 127-142, 2017 | 28 | 2017 |
| Managing heterogeneity in a grid parallel Haskell AD Al Zain, PW Trinder, G Michaelson, HW Loidl Scalable Computing: Practice and Experience 7 (3), 2006 | 28 | 2006 |
| Explaining polymorphic types Y Jun, G Michaelson, P Trinder The Computer Journal 45 (4), 436-452, 2002 | 27 | 2002 |
| I don’t think that’s an interesting dialogue”: Computer-Mediated Communication and Gender M Pohl, G Michaelson Grundy, Frances A.; Köhler, Doris; Oechtering, Veronika, 87-97, 1997 | 26 | 1997 |
| Predictable space behaviour in FSM-Hume K Hammond, G Michaelson Symposium on Implementation and Application of Functional Languages, 1-16, 2002 | 25 | 2002 |
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
