| |
Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 67-111.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 229-240.
|
| |
Journal of Functional Programming, Vol. Forthcoming, No. -1. (2008), pp. 1-14.
|
| |
J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323.
|
| |
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128.
|
| |
In FPCA '93: Conference on Functional Programming and Computer Architecture, Copenhagen, Denmark (1993), pp. 52-61.
|
| |
|
| |
In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343.
|
| |
In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 71-84.
|
| |
In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 24-35.
|
| |
Advanced Functional Programming (2005), pp. 73-129.
|
| |
Journal of Functional Programming, Vol. 8, No. 4. (1998)
|
| |
|
| |
In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993)
|
| |
In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (1995), pp. 24-52.
|
| |
|
| |
|
| |
|
| |
In Proceedings 4th Workshop on Coalgebraic Methods in Computer Science, CMCS'01, Genova, Italy, 6--7 Apr.\ 2001, Vol. 44(1) (2001)
|
