Greg Michaelson

发表

mHume for parallel FPGA

Wim Vanderbauwhede, A. Al Zain, Greg Michaelson, 2010 .

The EmBounded Project, Project Paper

Roy Dyckhoff, Hans-Wolfgang Loidl, Martin Hofmann, 2005 .

Hume: a Functionally-Inspired Language for Safety-Critical Systems

Greg Michaelson, Kevin Hammond, 2000 .

Computing and problem solving with PASCAL: T Ray Nanney. Published by Prentice-Hall. 647pp. £27.55

Greg Michaelson, 1985 .

Managing Heterogeneity in a Grid Parallel Haskell

Hans-Wolfgang Loidl, Philip W. Trinder, Abdallah Al Zain, 2001 .

MACRO-11 Assembly Language: Architecture and Structured Programming

Greg Michaelson, 1986 .

Lino: a tiling language for arrays of processors

Greg Michaelson, Paul Cockshott, 2010 .

Non-classical computing: feasible versus infeasible

Lewis M. Mackenzie, Greg Michaelson, Paul Cockshott, 2010 .

The COBOL 85 example book: by Jerome Garfinkel. Published by John Wiley, 322pp. £24.20

Greg Michaelson, 1987 .

Review: Selected Papers on Analysis of Algorithms: CSLI Lecture Notes Number 102

Greg Michaelson, 2001 .

Review: Philosophical aspects of information systems

Greg Michaelson, 1998 .

Compilers: Their Design & Construction Using PASCAL

Greg Michaelson, 1986 .

Parallel Functional Genetic Algorithms in Standard ML from RPL2

Greg Michaelson, Paul Bristow, 2007 .

Analysing and Deploying Resource-Bound AV Software in Hume

Zezhi Chen, Armelle Bonenfant, Andrew M. Wallace, 2007 .

Parallel Logic Programming in parlog: the Language and its Implementation by Steve Gregory: Published by Addison-Wesley, 217pp. £17.95

Greg Michaelson, G. Michaelson, 1988 .

Text generation from grammars

Greg Michaelson, G. Michaelson, 1990 .

Information, Work and Value

Allin Cottrell, Greg Michaelson, Ian Wright, 2007 .

Interpreter prototypes from language definitions type specifications

Greg Michaelson, G. Michaelson, 1988 .

Cache size in a cost model for heterogeneous skeletons

Greg Michaelson, Phil Trinder, Khari Armih, 2011, HLPP '11.

The Optimal Implementation of Functional Programming Languages by A. Asperti and S. Guerrini, Cambridge University Press, 1998, 392 pp.

Greg Michaelson, 2000 .

HELPING STUDENTS UNDERSTAND POLYMORPHIC TYPE ERRORS

Yang Jun, Greg Michaelson, Phil Trinder, 2000 .

Engineering a Parallel Compiler for Standard ML

Norman Scaife, Greg Michaelson, Paul Bristow, 1998 .

Vax-11 basic: A structured approach: Harvey M Deitel. Published by Prentice-Hall. 285pp. £21.80

Greg Michaelson, 1986 .

Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

Clemens Grelck, Frank Huch, Greg Michaelson, 2007, IFL.

Towards a skeleton based parallelising compiler for SML

Andrew Ireland, Peter J. B. King, Greg Michaelson, 1997 .

Static and Dynamic Load Balancing for Heterogeneous Systems

Greg Michaelson, Deng Xiao, 2013 .

Advanced structured COBOL: COBOL book 4: Ruth Ashley and Judi N Fernandez. Published by John Wiley & Sons. 229pp. $49.95

Greg Michaelson, 1985 .

Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers

Ricardo Peña, Greg Michaelson, Phil Trinder, 2004, IFL.

Empirical Parallel Performance Prediction From Semantics-Based Profiling

Susumu Horiguchi, Norman Scaife, Greg Michaelson, 2001 .

Review of Practical WAP: Developing applications for the wireless web by Chris Bennett Cambridge University Press

Greg Michaelson, 2002 .

Fifth generation computers: Concepts, implementations and uses

Greg Michaelson, 1986 .

Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers

Clemens Grelck, Frank Huch, Greg Michaelson, 2005, IFL.

Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures (abstract only)

Mustafa Aswad, Kevin Hammond, Jost Berthold, 2009, SIGP.

Implementation of Functional Languages

Greg Michaelson, Phil Trinder, Ricardo Peña, 2003, Lecture Notes in Computer Science.

Implementation and Application of Functional Languages, 16th International Workshop (IFL 2004).

Clemens Grelck, Frank Huch, Greg Michaelson, 2005 .

Verifying Temporal Properties in HW-Hume

Gudmund Grov, Andrew Ireland, Kevin Hammond, 2005 .

Comparing Low-Pain and No-Pain Multicore Haskells

Jost Berthold, Greg Michaelson, M. Kh, 2013 .

Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999

Hans-Wolfgang Loidl, Philip W. Trinder, Greg Michaelson, 1999, Scottish Functional Programming Workshop.

NESTED ALGORITHMIC SKELETONS FROM HIGHER ORDER FUNCTIONS

Norman Scaife, Greg Michaelson, Paul Bristow, 2001 .

Skeleton Realisations from Functional Prototypes

Norman Scaife, Greg Michaelson, G. Michaelson, 2003, Patterns and Skeletons for Parallel and Distributed Computing.

CICS/VS Command Level with ANS COBOL: Pacifico Amarga Lim. Published by Van Nostrand Reinhold. 582pp. £46.75

Greg Michaelson, 1986 .

Programming from first principles: by Richard Bornat. Published by Prentice-Hall. 538 pp. £10.95

Greg Michaelson, 1987 .

The Hume Report, Version 1.1

Robert F. Pointon, Greg Michaelson, Kevin Hammond, 2001 .

Using Mean-Shift Tracking Algorithms for Real-Time Tracking of Moving Images on an Autonomous Vehicle Testbed Platform

Zezhi Chen, Andrew M. Wallace, Kevin Hammond, 2007 .