Greg Michaelson
Greg Michaelson
Emeritus Professor of Computer Science, Heriot-Watt University
Verified email at hw.ac.uk - Homepage
Title
Cited by
Cited by
Year
Hume: a domain-specific language for real-time embedded systems
K Hammond, G Michaelson
International Conference on Generative Programming and Component Engineering …, 2003
1672003
Testing Marx: some new results from UK data
P Cockshott, A Cottrell, G Michaelson
Capital & Class 19 (1), 103-130, 1995
1591995
Research directions in parallel functional programming
K Hammond, G Michaelson
Springer Science & Business Media, 2012
1512012
An introduction to functional programming through lambda calculus
G Michaelson
Courier Corporation, 2011
1282011
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
1252003
Classical econophysics
WP Cockshott, A Cottrell, GJ Michaelson, IP Wright, VM Yakovenko
Routledge, 2009
117*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
672001
Computation and its Limits
P Cockshott, LM Mackenzie, G Michaelson
Oxford University Press, 2012
602012
Improved type error reporting
J Yang, G Michaelson, P Trinder, JB Wells
In Proceedings of 12th International Workshop on Implementation of …, 2000
582000
A parallel SML compiler based on algorithmic skeletons
N Scaife, S Horiguchi, G Michaelson, P Bristow
Journal of Functional Programming 15 (4), 615, 2005
462005
Teaching programming with computational and informational thinking
G Michaelson
Journal of Pedagogic Development, 2015
432015
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
371997
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
321992
Prototyping a Parallel Vision System in Standard ML.
G Michaelson, N Scaife
Journal of functional programming 5 (3), 345-382, 1995
311995
Are there new models of computation? Reply to Wegner and Eberbach
P Cockshott, G Michaelson
The Computer Journal 50 (2), 232-247, 2007
302007
Explaining polymorphic types
Y Jun, G Michaelson, P Trinder
The Computer Journal 45 (4), 436-452, 2002
272002
Computer usage and attitudes among Saudi Arabian undergraduate students
M Alothman, J Robertson, G Michaelson
Computers & Education 110, 127-142, 2017
262017
Managing heterogeneity in a grid parallel Haskell
AD Al Zain, PW Trinder, G Michaelson, HW Loidl
Scalable Computing: Practice and Experience 7 (3), 2006
262006
Predictable space behaviour in FSM-Hume
K Hammond, G Michaelson
Symposium on Implementation and Application of Functional Languages, 1-16, 2002
262002
Gender in email based co-operative problem solving
G Michaelson, M Pohl
E. Green and A. Adam (Eds), Virtual Gender: technology, consumption and …, 2001
26*2001
The system can't perform the operation now. Try again later.
Articles 1–20