Greg Michaelson
Greg Michaelson
Emeritus Professor of Computer Science, Heriot-Watt University
Bestätigte E-Mail-Adresse bei hw.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1272011
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
115*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
WP Cockshott, P Cockshott, LM Mackenzie, G Michaelson
Oxford University Press, 2012
582012
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
422015
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
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
Explaining polymorphic types
Y Jun, G Michaelson, P Trinder
The Computer Journal 45 (4), 436-452, 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
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
261997
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20