Browse by Person (creator, editor, contributor, etc.)
Number of items: 4. Book section
|
Thompson, Simon
(1999)
Proof.
In: Hammond, Kevin and Michaelson, Greg, eds.
Research Directions in Parallel Functional Programming.
Springer Verlag, pp. 93-119.
ISBN 1-85233-092-9.
The full text of this publication is not available from this repository.
|
|
Conference or workshop item
|
Li, Huiqing and Thompson, Simon
(2005)
Formalisation of Haskell Refactorings.
In: van Eekelen, Marko and Hammond, Kevin, eds.
Trends In Funtional Programming.
ISBN 9781841501765.
The full text of this publication is not available from this repository.
|
|
This list was generated on Wed May 22 01:56:23 2013 BST.
|