Dr. Simon Thompson
Dr Simon Thompson is interested in the
application of mathematical techniques to
program construction and specification,
in particular in the domain of
functional programming languages and constructive type theory.
He has recently completed a textbook on functional programming in Miranda;
follow the link for further details, background materials and errata.
A Haskell edition,
version 1.3 compatible and usable with Hugs, other Haskell systems and indeed Gofer, will be available in Spring 1996.
Among Simon Thompson's recent publications are:
- Thompson, S.J.
Formulating Haskell,
("Functional Programming, Glasgow 1992",
Ed. John Launchbury and Patrick Sansom (Springer Verlag), 1993).
- Thompson, S.J.
Constructive Type Theory,
("Fifth International Summer School in Logic, Language and Information",
Lisbon 1993).
- Lins, R.D. and Thompson, S.J. and Peyton Jones, S.
On the Equivalence between CM-C and TIM,
("Journal of Functional Programming", January 1994).
In 1993 he was a guest editor on Journal of Functional Programming
(special
edition on Functional programming in Education. Editorial
co-written with P. Wadler, University of Glasgow.
Journal of Functional Programming, 3(1), p1.).
