| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 91-102.
|
| |
Science of Computer Programming, Vol. 70, No. 1. (1 January 2008), pp. 1-30.
|
| |
SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 315-326.
|
| |
|
| |
|
| |
Information and Computation, Vol. 93, No. 1. (1991), pp. 55-92.
|
| |
|
| |
In The Second International Summer School on Advanced Functional Programming Techniques (August 1996)
|
| |
In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 145-156.
|
| |
|
| |
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 175-188.
|
| |
|
| |
In Foundations of Software Science and Computation Structure (2002), pp. 342-356.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 2-14.
|
| |
Journal of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 146-156.
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Vol. 35, No. 9. (September 2000), pp. 1-10.
|
| |
|
| |
In LISP and Functional Programming (1984), pp. 208-217.
|
| |
In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993)
|
| |
Science of Computer Programming, Vol. 3, No. 2. (1983)
|
| |
In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14.
|
| |
In ESOP '98: Proceedings of the 7th European Symposium on Programming (1998), pp. 1-11.
|
| |
Journal of Functional Programming, Vol. 10, No. 3. (2000), pp. 269-303.
|
| |
|
