2007
K. Hammond, D. Pectu, P. Trinder, A. Al Zain, S. Linton and G. Michaelson, `The SCIence Joint Research Activity: Symbolic Computation on the Grid', in M. Morazan and H. Nilsson (Eds), draft proceedings 8th Symposium on Trends in Functional Programming, TR-SHU-CS-2007-04-1, Seton Hall University, 2nd-4th April 2007, Chapter II
G. Grov and G. Michaelson, `Towards a Box Calculus for Hume', in M. Morazan and H. Nilsson (Eds), draft proceedings 8th Symposium on Trends in Functional Programming, TR-SHU-CS-2007-04-1, Seton Hall University, 2nd-4th April 2007, Chapter X
A. D. Al Zain, P. W. Trinder, G. J. Michaelson and H-W. Loidl, `Evaluating a High Level Parallel Language (GpH) for Computational Grids', IEEE Transactions on Parallel and Distributed Systems, 2007, to appear
A. Bonenfant, Z. Chen, K. Hammond, G. Michaelson, A. Wallace and I. Wallace, `Towards resource-certified image processing software', 22nd ACM Symposium on Applied Computing, Seoul, Korea, March 2007, to appear
P. Cockshott and G. Michaelson, `Are there new models of computation: a reply to Wegner and Eberbach', Computer Journal, Vol 50, No 2, pp232-247, 2007 Compressed
2006
K. Hammond, R. Dyckhoff, C. Ferdinand, R. Heckmann, M. Hofmann, H-W. Loidl, G. Michaelson, J. Serot and A. Wallace, `The EmBounded Project', in M van Eekling(Ed), Trends in Functional Programming 6, Intellect, 2006, to appear
G. Michaelson and P. Cockshott, `Constraints on Hypercomputation', in A. Beckmann et al (Eds), Logical Approaches to Computational Barriers: Proceedings of Computability in Europe 2006, Swansea, Springer, LNCS 3988, pp378-387, July 2006. Compressed
X. Y. Deng, P. Trinder and G. Michaelson, `Autonomous Mobile Programs', IEEE/WIC/ACM International Conference on Intelligent Agent Technology 2006 (IAT '06), pp.177-186, Dec. 2006
K. Hammond, C. Ferdinand, R. Heckmann, R. Dyckhoff, M. Hofman, S. Jost, H-W. Loidl, G. Michaelson, R. Pointon, N. Scaife, J. Serot and A. Wallace, `Towards Formally Verifiable WCET Analysis for a Functional Programming Language', in F. Mueller (Ed), Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time Analysis (WCET'06), Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006
A. Al Zain, P. W. Trinder, H-W. Loidl and G. Michaelson, `Managing Heterogeneity in a Grid Parallel Haskell', Scaleable Computing: Practice and Experience, Vol 7, No 3, pp9-26, September 2006
N.Scaife, G. Michaelson and S. Horiguchi, `Empirical Parallel Performance Prediction from Semantics-Based Profiling', Scaleable Computing: Practice and Experience, Vol 7, No 3, pp1-8, September 2006
X. Deng, P. Trinder and G. Michaelson, `Autonomous Mobility Skeletons', Parallel Computing, Vol. 32, Issue 7-8, pp463-478, September 2006
A Al-Zain, `Implementing High Level Parallelism on Computational Grids', with Skeletons', PhD, School of Matematical & Computer Sciences, Heriot-Watt University, May 2006. Compressed
N. Scaife, G. Michaelson and S. Horiguchi, `Parallel Standard ML with Skeletons', Scaleable Computing Practise and Experience, Vol 6, No 4, 2006. Compressed
G. Michaelson and R. Pointon, `Recursion, Iteration and Scheduling in Hume', in H. Nilsson and M van Eekling (Eds), Draft Proceedings of 7th Symposium on Trends in Functional Programming, University of Nottingham, April 2006, pp 403-416
K. Hammond, G. Michaelson and M. Sun, `Programming Reactive Systems in Hume', in H. Nilsson and M van Eekling (Eds), Draft Proceedings of 7th Symposium on Trends in Functional Programming, University of Nottingham, April 2006, pp 417-426
K. Hammond, G. Michaelson and G. Grov, `Towards Hardware/Software Codesign: Exploring the HW-Hume Level', in Z. Horvath and V. Zsok (Eds), Draft proceedings 18th International Symposium on Implementation and Application of Functional Programs', Budapest, Hungary, Sept 2006, pp99-114
2005
C. Liu and G. Michaelson, `Towards a Hume IDE', in M van Eekling and K. Hammond (Eds), Draft Proceedings of 6th Symposium on Trends in Functional Programming, Institute of Cybernetics, Tallinn, Estonia, Sept 2005,pp355-369
A. Cook, A. Ireland and G. Michaelson, `Discovering Applications of Higher Order Functions Through Proof Planning', Formal Aspects of Computing, Vol 17, No 1, pp38-57, May 2005. Compressed Postscript
N. Scaife, S. Horiguchi, G. Michaelson and P. Bristow, `A Parallel SML compiler based on algorithmic skeletons', Journal of Functional Programming, Vol 15, No 4, pp615-650, July 2005.
P. Cockshott and G. Michaelson, `Orthogonal Parallel Processing in Vector Pascal', Journal of Computer Languages, Systems and Structures, Vol 32, Issue 1, pp2-41.
M. Pohl and G. Michaelson, `"I know that's not the topic we're on but it's all linked isn't it?": Gender and Interaction in Email List Cooperation', J. Archibald, J. Emms, F. Grundy, E. Turner (Eds), The Gender Politics of ICT, Proceedings of 6th International Conference on Women into Computing, London, Middlesex University Press, pp179-190, July 2005
N.Scaife, G. Michaelson and S. Horiguchi, `Empirical Parallel Performance Prediction from Semantics-Based Profiling', 2nd International Workshop on Practical Aspects of High-Level Parallel Programming, in Proceedings of 5th International Conference on Computational Science (Part 2), Atlanta, Springer, LNCS 3515, pp781-789, May 2005.
A. Al Zain, P. W. Trinder, H-W. Loidl and G. Michaelson, `Managing Heterogeneity in a Grid Parallel Haskell', 2nd International Workshop on Practical Aspects of High-Level Parallel Programming, in Proceedings of 5th International Conference on Computational Science (Part 2), Atlanta, Springer, LNCS 3515, pp746-754, May 2005.
K. Hammond, R. Dyckhoff, C. Ferdinand, R. Heckmann, M. Hofmann, H-W. Loidl, G. Michaelson, J. Serot and A. Wallace, `The EmBounded Project', in M van Eekling and K. Hammond (Eds), Draft Proceedings of 6th Symposium on Trends in Functional programming, Institute of Cybernetics, Tallinn, Estonia, Sept 2005,pp220-235
C. Liu and G. Michaelson, `Towards a Hume IDE', in M van Eekling and K. Hammond (Eds), Draft Proceedings of 6th Symposium on Trends in Functional programming, Institute of Cybernetics, Tallinn, Estonia, Sept 2005,pp355-369
2004
G. Michaelson, K. Hammond and J. Serot, `FSM-Hume: Programming Resource-Limited Systems using Bounded Automata', Proceedings of ACM Symposium on Applied Computing, Nicosia, Cyprus, March 2004, ACM Press, pp1455-1461
G. Michaelson, K. Hammond and J. Serot, `FSM-Hume is Finite State', in S. Gilmore (Ed), Trends in Functional Programming 4, Intellect, 2004, pp 19-28
K. Hammond and G. Michaelson, `The Design of Hume, a High-Level Language for the Real-Time Embedded System Domain', C. Lengaur (Ed), Domain Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-38 2003, Revised Papers, Springer, LNCS 3016, 2004, pp217+
G. Grov, A. Ireland and G. Michaelson, `Model Checking HW-Hume', in H-W. Loidl (Ed), Draft Proceedings of 5th Symposium on Trends in Functional Programming, Ludwig-Maximillian's Universitat, Munich, Germany, November 2004, pp33-48
X. Deng, P. Trinder and G. Michaelson, `Towards High Level Autonomous Mobility', in H-W. Loidl (Ed), Draft Proceedings of 5th Symposium on Trends in Functional Programming, Ludwig-Maximillian's Universitat, Munich, Germany, November 2004, pp97-112
C. Liu and G. Michaelson, `Translating Hume to Java' in H-W. Loidl (Ed), Draft Proceedings of 5th Symposium on Trends in Functional Programming, Ludwig-Maximillian's Universitat, Munich, Germany, November 2004, pp113-128
A. Al Zain, G. Michaelson, H-W. Loidl and P. Trinder, `Improving load Balance in a Grid-Enabled Parallel Haskell', in H-W. Loidl (Ed), Draft Proceedings of 5th Symposium on Trends in Functional Programming, Ludwig-Maximillian's Universitat, Munich, Germany, November 2004, pp329-344
2003
H-W. Loidl, F. Rubio, N. Scaife, K. Hammond, S. Horiguchi, U. Klusik, R. Loogen, G. Michaelson, R, Pena, A. Rebon Portillo, S. Priebe and P. Trinder, `Comparing Parallel Functional Languages: Programming and Performance', Higher Order and Symbolic Computation, Vol. 16, No. 3, pp203-251, Sept 2003. Compressed Postscript
K.Hammond and G.Michaelson, `Hume: a Domain-Specific Language for Real-Time Embedded Systems', Proceedings of Conference on Generative programming and Component Engineering, 2003, to appear Compressed Postscript Postscript
K. Hammond and G. Michaelson, `Predictable space behaviour in FSM-Hume', Proceedings of 14th Workshop on Implementation of Functional Languages, Madrid, Sept 2002, Springer, to appear Compressed Postscript
K.Hammond and G. Michaelson , `The Hume Report Version 0.2', Heriot-Watt University/University of St Andrews, March 2003 Compressed Postscript
G. Michaelson and K.Hammond, `The Hume Manual Version 0.1', Heriot-Watt University/University of St Andrews, March 2003 Compressed Postscript
A. Al Zain, P. Trinder, G. Michaelson and H-W. Loidl, `Evaluation of Communication Libraries for a Parallel Functional Language Implementation', in S. Gilmore (Ed), Draft Proceedings of 4th Symposium on Trends in Functional Programming, University of Edinburgh, September 2003
H-W Loidl, N. Scaife, S, Horiguchi, G. Michaelson and P. Trinder, `Implementation Designs for Parallel Functional Languages', in P. Trinder and G. Michaelson (Eds), Draft proceedings of 15th International Workshop on the Implementation of Functional Languages, Edinburgh, September 2003, pp 177-192
A. Al Zain, P. Trinder, H-W. Loidl and G. Michaelson, `Grid-GUM: Towards Grid-Enabled Haskell', in C. Grelck and F. Huch (Eds),Draft Proceeedings of 16th International Workshop on Implementation and Application of Functional Languages, Lubeck, September 2003 Technischer Bericht 0408, Institut fur Informatik und Praktische Mathematik, Christian-Albrechts-Universitat zu Kiel, pp223-238
2002
G. Michaelson and N. Scaife, `Functional prototyping for parallel skeleton based implementation', Chapter 5 in S. Gorlatch and F. Rabhi(Eds), `Patterns and Skeletons for Parallel and Distributed Computing', Springer-Verlag, Sept 2002, ISBN 1-85233-506-8, pp129-153 Compressed Postscript
G. Michaelson, `SML Prototypes from Z Specifications", Proceedings of ASE 2002 Workshop on Declarative Meta-Programming to Support Software Development, Sept 2002, Programming Technology Lab, Free University of Brussels, Technical Report VUB-PROG-TR-02-14, pp57-63 Compressed Postscript
A. Cook, `Using Proof for Transformation Synthesis in Automatic Parallelisation', PhD, Department of Computing & Electrical Engineering, Heriot-Watt University, March 2002 Compressed Postscript
N. Scaife, G. Michaelson and S. Horiguchi, `Comparative cross-platform results from a parallelising SML compiler', in: T. Arts and M. Mohnen (Eds), Proceedings of 13th International Workshop on Implementation of Functional Languages, Stockholm, September 2001, Springer-Verlag, LNCS 2312, pp 138-154, 2002 Compressed Postscript
P. Bristow, `Hybrid Skeletons for Parallel Higher Order Function Evaluation', MPhil Dissertation, Department of Computing & Electrical Engineering, Heriot-Watt University, January 2002 Compressed Postscript
J.Yang, G. Michaelson and P. Trinder, `Explaining polymorphic types', Computer Journal, Vol 45, No 4, pp436-452, Aug 2002 Compressed Postscript
2001
A. Cook, A. Ireland and G. Michaelson, `Higher order function synthesis through proof planning', Proceedings of 16th Annual International Conference on Automated Software Engineering (ASE 2001), San Diego, USA, IEEE Computer Society, pp307-310, Nov 2001 Compressed Postscript
G. McHale and G. Michaelson, `Generating functional programs with parallel genetic algorithms', in S. Curtis (Ed), Proceedings of 3rd Scottish Functional Programming Workshop, University of Stirling, August 2001, pp105-117 Compressed Postscript
J. Yang. `Improving polymorphic type explanations', PhD, Department of Computing and Electrical Engineering, Heriot-Watt University, October 2001 Compressed Postscript Compressed Postscript
J. Yang, G. Michaelsom and P. Trinder, `How human-like are "human-like" polymorphic type explanations?', Proceedings of 2nd Annual Conference of the LSTN Centre for Information and Computer Sciences, University of North London, to appear, Sept 2001 Compressed WfW
G. Michaelson, N. Scaife, P. Bristow & P. King, `Nested algorithmic skeletons from higher order functions', Parallel Algorithms and Applications special issue on High Level Models and Languages for Parallel Processing, Vol. 16, pages 181-206, Aug 2001 Compressed Postscript
J. Yang, G. Michaelson and P. Trinder, `Human and "human-like" type explanations', Proceedings of 13th Workshop on Psychology of Programming, Bournmouth, pages 163-172, April 2001 Compressed WfW
G. Michaelson and M. Pohl, Gender in email-based co-operative problem solving, Chapter 2 in E. Green and A. Adam (Eds), Virtual Gender: technology, consumption and identity, Routledge, June 2001, ISBN 0-415-23315-1, pp 28-44
G. Michaelson and M. Pohl, Gender in email-based co-operative problem solving, Chapter 2 in E. Green and A. Adam (Eds), Virtual Gender: technology, consumption and identity, Routledge, June 2001, ISBN 0-415-23315-1, pp 28-44
2000
K. Hammond & G. Michaelson, `Hume, a functionally inspired language for safety critical systems", in S. Gilmore (Ed), Proceedings of 2nd Scottish Functional Programming Workshop, St Andrews, July 2000, pp 85-100 Compressed Postscript
G. Michaelson, `Constraints on Recursion in the Hume Expression Language', Proceedings of 12th International Workshop on Implementation of Functional Languages, Aachener Informatik-Berichte, RWTH, Aachen, pp231-246, July 00 Compressed Postscript
G. Michaelson and N. Scaife, `Parallel Island Model Genetic Algorithms through Nested Skeletons', Proceedings of 12th International Workshop on Implementation of Functional Languages, Aachener Informatik-Berichte, RWTH, Aachen, pp307-313, July 00 Compressed Postscript
N.Scaife, `A dual source parallel architecture for computer vision', PhD, Dept of Computing and Electrical Engineering, Heriot-Watt University, May 2000 Compressed Postscript
J.Yang, G. Michaelson and P. Trinder, `Helping students understand polymorphic type errors', Proceedings of 1st Annual Conference of the LSTN Centre for Information and Computer Sciences, S. Alexander et al (Eds), LTSN-ICS, University of Ulster, pp11-19, August 2000 Compressed WfW
M. Pohl and G. Michaelson, `"(Just ignore the other message)": Alignment, quoting and iconic strategies in computer-mediated communication', Proceedings of 7th IFIP Women, Work and Computerization Conference, Simon Fraser University, Canada, June 2000
J. Yang, G. Michaelson and P. Trinder, `How do people check polymorphic types?', Proceedings of 12th Workshop on Psychology of Programming, Corigliano Calabro, Italy, Edizioni Memoria, pp67-77, April 2000 Compressed WfW
M. Hamdan, `A combinational framework for parallel programming using algorithmic skeletons', PhD, Dept of Computing and Electrical Engineering, Heriot-Watt University, January 2000 Compressed Postscript
1999
Trinder P.W. Motivation for GdH, a Distributed Non-strict Functional Language. International Workshop on Parallel and Distributed Computing for Symbolic, Irregular Applications (PDSIA'99), Sendai, Japan (July 1999), to appear in Springer Verlag LNCS.
Loidl H-W. Trinder P.W. Hall C.V. Hammond K. Junaidu S.B. Morgan R.G. Peyton Jones S.L. Engineering Parallel Symbolic Programs in GpH. Concurrency: Practice and Experience, 11(12) (December 1999), pp~701-752. Compressed Postscript
K. Hammond & G. Michaelson, `Research Directions in Parallel Functional Programming', Springer, ISBN 1-85233-092-9, October 1999 Further Details
M. Hamdan, G. Michaelson & P. King, `A framework for nesting algorithmic skeletons', Proceedings of ParCo'99, Imperial College Press, to appear Compressed Postscript
M.Hamdan, `A survey of cost models for algorithmic skeletons', Dept of Computing and Electrical Engineering, Heriot-Watt University, Technical Report RM/11/99, September 1999 Compressed Postscript
J.Yang, `Explaining type errors by finding the sources of type conflicts', Draft Proceedings of 1st Scottish Functional Programming Workshop, P.Trinder & G.Michaelson (Eds), Dept of Computing and Electrical Engineering, Heriot-Watt University, Technical Report RM/99/9, pages 387-401, August 1999 Compressed Postscript
G.Michaelson & P.Bristow, `Parallel functional genetic algorithms in Standard ML from RPL2', Draft Proceedings of 1st Scottish Functional Programming Workshop, P.Trinder & G.Michaelson (Eds), Dept of Computing and Electrical Engineering, Heriot-Watt University, Technical Report RM/99/9, pages 253-261, August 1999 Compressed Postscript
J. Yang, G. Michaelson and P. Trinder, `Explaining Polymorphic Types Through Visualisation', Proceedings of 7th Conference on the Teaching of Computing, S. Alexander and U. O'Reilly (Eds), CTI Computing, University of Ulster, Jordanstown, pages 73-77, August 1999 Compressed WfW
1998
N.Scaife, P.Bristow, G.Michaelson & P.King, `Engineering a parallel compiler for SML', Clack, T.Davie & K.Hammond (eds): Proceedings of 10th International Workshop on Implementation of Functional Languages, University College London, Sept, 1998, pp213-226 compressed Postscript
M.Hamdan, G.Michaelson & P.King, `A scheme for nesting algorithmic skeletons', IFL'98, Clack, T.Davie & K.Hammond (eds): Proceedings of 10th International Workshop on Implementation of Functional Languages, University College London, Sept, 1998, pp195-212 compressed Postscript
J.Yang & G.Michaelson, `A visualisation of polymorphic typechecking', submitted to Journal of Functional Programming, March 1998 compressed Postscript
Trinder P.W. Hammond K. Loidl H-W. Peyton Jones S.L. Algorithm + Strategy = Parallelism. Journal of Functional Programming, 8(1) (January 1998) p p 23-60. HTML abstract
1997
N.R.Scaife, G.J.Michaelson & A.M.Wallace, `Four skeletons and a function', C.Clack, T.Davie & K.Hammond (eds): Proceedings of 9th International Workshop on Implementation of Functional Languages, University of St Andrews, Sept, 1997, pp529-538 compressed Postscript
G.J.Michaelson, A.Ireland & P.J.B.King, `Towards a skeleton based parallelising compiler for SML', C.Clack, T.Davie & K.Hammond (eds): Proceedings of 9th International Workshop on Implementation of Functional Languages, University of St Andrews, Sept, 1997, pp539-546 compressed Postscript
M.Hamdan, G.J.Michaelson & P.J.B.King, `A predictably portable process farm skel eton', working paper, May 1997 compressed Postscript
1996
J.Serot, `Writing an edge tracker in ML: a case study', Research Memo RM 96/13, November 1996 compressed Postscript
S.Foubister, G.J.Michaelson & N.Tomes, `Automatic assessment of elementary Standard ML programs using Ceilidh', Journal of Computer Assisted Learning, to appear compressed Postscript
G.J.Michaelson, `Automatic assessment of functional program style', 1996 Australian Software Engineering Conference, Melbourne, July 1996, IEEE Computer Society Press, pp38-46, IEEE copyright compressed Postscript
N.R.Scaife, `A survey of concurrent object-oriented programming languages', Research Memo RM/96/4, January 1996 compressed Postscript
N.R.Scaife, G.J.Michaelson & A.M.Wallace, `A method for developing parallel vision algorithms with an example of edge tracking', Research Memo RM/96/1, January 1996 compressed Postscript
1995
D.Bental, `Why doesn't my program work?': requirements for automated analysis of novices' computer programs, Workshop on Automated Understanding of (Novice) Programs, World Conference on AI & Education, Washington DC, USA, 1995 html
T.A.Bratvold, Skeleton-based Parallelisation of Functional Programs, PhD, Dept of Computing & Electrical Engineering, Heriot-Watt University, 1995 compressed Postscript
G.J.Michaelson, TLTP Ceilidh Project: Feedback Questionnaire Summary, Research Memo RM/95/6, Dept of Computing & Electrical Engineering, Heriot-Watt University, June 1995 compressed Postscript
G.J.Michaelson & N.R.Scaife, Prototyping a parallel vision system in Standard ML, Journal of Functional Programming, Vol 5, Part 3, pp 345-382, July 1995, CUP copyright compressed Postscript
G.J.Michaelson, N.R.Scaife & A.M.Wallace, Prototyping parallel algorithms in Standard ML, in Proceedings of British Machine Vision Conference, Birmingham, Sept 1995 compressed Postscript
G.J.Michaelson, Elementary Standard ML, UCL Press, November 1995, 306 pages, ISBN 1-85728-398-8, UCL Press copyright Full text without index in compressed Postscript
1994
T.A.Bratvold, Parallelising a Functional Program Using a List-Homomorphism Skeleton, Proceedings of PaSCo94 (ed Hoon Hong), Linz, Austria, World Scientific Publishing Company, September, 1994, pp 44-53 compressed Postscript
W.J.Austin & N.R.Scaife, Reconfigurable parallel vision system: informal specification, Research Memo RM/94/4, Dept of Computing & Electrical Engineering, Heriot-Watt University, 1994 compressed Postscript
N.R.Scaife, Prototyping an intensity-based vision recognition system, Research Memo RM/94/3, Dept of Computing & Electrical Engineering, Heriot-Watt University, June 1994 compressed Postscript
1993
T.A.Bratvold, A Skeleton-Based Parallelising Compiler for ML, Proceedings of the Fifth International Workshop on Implementation of Functional Languages, Nijmegen, the Netherlands, September, 1993, pp 23-34 compressed Postscript
D.J.Busvine, Detecting Parallel Structures in Functional Programs, PhD, Dept of Computing & Electrical Engineering, Heriot-Watt University, 1993 compressed, tar-ed Postscript
G.J.Michaelson, Interpreter Prototypes from Formal Language Definitions, PhD, Dept of Computing & Electrical Engineering, Heriot-Watt University, 1993 compressed Postscript
1992
T.A.Bratvold, Determining Useful Parallelism in Higher Order Functions, Proceedings of the 4th International Workshop on the Parallel Implementation of Functional Languages, Aachen, Germany, September 1992, Aachener Informatik-Berichte Nr 92-19", pp 213-226 compressed Postscript
1988
G.J.Michaelson, An Introduction to Functional Programming Through Lambda Calculus, Addison-Wesley, 320 pages in original, 241 pages in this form, 1988 compressed Postscript