![]() | ![]() |
2002 | ||
---|---|---|
5 | Kevin Hammond, Sharon Curtis: Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001 Intellect 2002 | |
2000 | ||
4 | Sharon Curtis: An application of functional programming: quilting. Scottish Functional Programming Workshop 2000: 145-158 | |
1997 | ||
3 | Sharon Curtis: Dynamic programming: a different perspective. Algorithmic Languages and Calculi 1997: 1-23 | |
1996 | ||
2 | Sharon Curtis, Gavin Lowe: Proofs with Graphs. Sci. Comput. Program. 26(1-3): 197-216 (1996) | |
1995 | ||
1 | Sharon Curtis, Gavin Lowe: A Graphical Calculus. MPC 1995: 214-231 |
1 | Kevin Hammond | [5] |
2 | Gavin Lowe | [1] [2] |