Follow
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
Testing Marx: some new results from UK data
P Cockshott, A Cottrell, G Michaelson
Capital & Class 19 (1), 103-130, 1995
1851995
Hume: a domain-specific language for real-time embedded systems
K Hammond, G Michaelson
International Conference on Generative Programming and Component Engineering …, 2003
1812003
Research directions in parallel functional programming
K Hammond, G Michaelson
Springer Science & Business Media, 2012
1642012
An introduction to functional programming through lambda calculus
G Michaelson
Courier Corporation, 2011
1552011
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
1312003
Computation and its Limits
P Cockshott, LM Mackenzie, G Michaelson
OUP Oxford, 2012
782012
Teaching programming with computational and informational thinking
G Michaelson
University of Bedfordshire, 2015
672015
Nested algorithmic skeletons from higher order functions
G Michaelson, N Scaife, P Bristow, P King
PARALLEL ALGORITHMS AND APPLICATION 16 (3), 181-206, 2001
662001
Improved type error reporting
J Yang, GJ Michaelson, P Trinder, JB Wells
Proceedings of 12th Int'l Workshop Implementation Functional Languages, 2000
652000
Computer usage and attitudes among Saudi Arabian undergraduate students
M Alothman, J Robertson, G Michaelson
Computers & Education 110, 127-142, 2017
552017
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
482005
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
411997
Are there new models of computation? Reply to Wegner and Eberbach
P Cockshott, G Michaelson
The Computer Journal 50 (2), 232-247, 2007
392007
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
352014
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
341992
Prototyping a parallel vision system in Standard ML
G Michaelson, N Scaife
Journal of functional programming 5 (3), 345-382, 1995
331995
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
312018
Explaining polymorphic types
Y Jun, G Michaelson, P Trinder
The Computer Journal 45 (4), 436-452, 2002
312002
Gender in email based co-operative problem solving
G Michaelson, M Pohl
E. Green and A. Adam (Eds), Virtual Gender: technology, consumption and …, 2001
30*2001
The system can't perform the operation now. Try again later.
Articles 1–20