| |
In Advanced Functional Programming (1995), pp. 97-136.
|
| |
|
| |
Journal of Functional Programming, Vol. 9, No. 4. (1999), pp. 355-372.
|
| |
Advanced Functional Programming (2005), pp. 73-129.
|
| |
In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 189-201.
|
| |
In Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly)) (2007)
|
| |
SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 554-567.
|
| |
SIGPLAN Not., Vol. 33, No. 4. (April 1998), pp. 17-20.
|
| |
Mathematical Structures in Computer Science, Vol. 6, No. 6. (1996), pp. 579-612.
|
| |
In Proceedings of the 2000 Haskell Workshop (September 2000)
|
| |
In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 295-308.
|
| |
Journal of Functional Programming, Vol. 8, No. 01. (2000), pp. 23-60.
|
| |
Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554.
|
| |
|
| |
Inf. Comput., Vol. 111, No. 1. (May 1994), pp. 120-153.
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 54-66.
|
| |
|
| |
|
| |
Computer Journal, Vol. 32, No. 2. (1989), pp. 98-107.
|
| |
|
| |
|
| |
J. Funct. Program., Vol. 9, No. 4. (July 1999), pp. 355-372.
|
| |
In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (1995), pp. 24-52.
|
| |
|
| |
|
| |
In Engineering theories of software construction (2001), pp. 47-96.
|
