Title | Citations | PageRank | Year |
---|---|---|---|
Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001 | 8 | 0.79 | 2002 |
Proofs with graphs | 15 | 0.98 | 1996 |
A Graphical Calculus | 10 | 1.15 | 1995 |