Members of the group work on Glasgow Parallel Haskell (GpH), and their publications are available separately.

2002

2001

2000

J. Yang, P. Trinder, G. Michaelson & J. Wells, "Improved type error reporting", in M. Mohnen & P. Koopman (Eds), Proceedings of 12th International Workshop on the Implementation of Functional Languages, ISSN 0935-3232, Aachen, September 2000, pp71-86 Compressed PostScript

G. Michaelson & N.Scaife, "Parallel functional island model genetic algorithms through nested skeletons", in M. Mohnen & P. Koopman (Eds), Proceedings of 12th International Workshop on the Implementation of Functional Languages, ISSN 0935-3232, Aachen, September 2000, pp307-313 Compressed PostScript

G. Michaelson, "Constraints on recursion in the Hume expression language", in M. Mohnen & P. Koopman (Eds), Proceedings of 12th International Workshop on the Implementation of Functional Languages, ISSN 0935-3232, Aachen, September 2000, pp231-246 Compressed PostScript

G. Michaelson & N. Scaife, "Skeleton realisations from functional prototypes", chapter abstract for proposed book on Skeletons and Patterns, August 2000 Text

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

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", 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

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

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, to appear summer 2000 Compressed Postscript

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

Andrew Ireland and Alan Bundy. "Automatic Verification of Functions with Accumulating Parameters" Journal of Functional Programming, Vol 9 (2):225-245, Cambridge University Press, March 1999. Available from the Dept. of Computing and Electrical Engineering, Heriot-Watt University, Research Memo RM/99/11.

Jamie Stark and Andrew Ireland. "Towards Automatic Imperative Program Synthesis through Proof Planning", In the proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999. Available from the Dept. of Computing and Electrical Engineering, Heriot-Watt University, Research Memo RM/99/7.

Peter King and Rob Pooley. "Derivation of Petri Net Performance Models from UML Specifications of Communications Software". Technical Report RM 98/13.

P.J.B. King and Claudio Gennaro. "Parallelising the Mean Value Analysis Algorithm". To appear in :Transactions of Society for Computer Simulation. March/April 1999.

R.J. Pooley and P.J.B. King. "UML Performance Models", To appear in: IEE Transactions on Software, 1999.

1998

Jamie Stark and Andrew Ireland "Invariant Discovery via Failed Proof Attempts". In the Proceedings of the 8th International Workshop, LOPSTR-98, Springer, 1998. Available from the Dept. of Computing and Electrical Engineering, Heriot-Watt University, Research Memo RM/98/2.

N.Scaife, P.Bristow, G.Michaelson & P.King, `Engineering a parallel compiler for SML',IFL'98 ,C.Clack, T.Davie & K.Hammond (eds): Proceedings of 10th International Workshop on Implementation of Functional Languages, University College London, Sept, 1998, pp213-226.

M.Hamdan, G.Michaelson & P.King, `A scheme for nesting algorithmic skeletons',IFL'98, C.Clack, T.Davie & K.Hammond (eds): Proceedings of 10th International Workshop on Implementation of Functional Languages, University College London, Sept, 1998, pp195-212.

Y.Jun & G.J.Michaelson, "A visualisation of polymorphic typechecking", submitted to Journal of Functional Programming, March 1998

Jamie Stark and Andrew Ireland "Invariant Discovery via Failed Proof Attempts". Extended Abstract. Pre-proceedings of LOPSTR 98. Manchester June 1998. University of Manchester Technical Report UMCS-98-6-1.

Yang Jun, "Visualization of the Type System for Functional Programs".Research Memorandum 97/13, Dept of Computing & Electrical Engineering, Heriot-Watt University, February 1998.

1997

G.J.Michaelson, A.Ireland & P.J.B.King,"Towards a skeleton based parallelising compiler for Standard ML", IFL'97, St Andrews, September 1997.

Andrew Ireland and Jamie Stark. "On the Automatic Discovery of Loop Invariants". Fourth NASA Langley Formal Methods Workshop. NASA Conference Publications: 3356. Also Research Memorandum 97/1. Dept of Computing & Electrical Engineering, Heriot-Watt University. January 1997.