| |
In Spring School on Datatype-Generic Programming (2006)
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 58-67.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13.
|
| |
|
| |
In POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 108-118.
|
| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 244-255.
|
| |
|
| |
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, Vol. 38, No. 3. (March 2003), pp. 26-37.
|
| |
In Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 06) (2006)
|
| |
In Haskell Workshop (2006)
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 241-253.
|
| |
SIGPLAN Not., Vol. 39, No. 5. (May 2004), pp. 15-22.
|
| |
Lecture Notes in Computer Science, Vol. 3945 (January 2006), pp. 208-225.
|
| |
|
| |
In Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, Vol. 3125 (July 2004), pp. 85-109.
|
| |
|
| |
|
| |
In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60.
|
| |
|
| |
|
| |
|
| |
|
| |
In Haskell '03: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (2003), pp. 19-26.
|
| |
ACM Trans. Internet Technol., Vol. 5, No. 1. (February 2005), pp. 1-46.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 110-115.
|
| |
|
| |
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 33-44.
|
| |
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 261-272.
|
| |
In Domain-Specific Languages (1999), pp. 81-94.
|
| |
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 Proceedings of the 5th ACM conference on Functional programming languages and computer architecture (1991), pp. 124-144.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 54-65.
|
| |
In Haskell '02: Proceedings of the ACM SIGPLAN workshop on Haskell (2002), pp. 38-50.
|
| |
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 205-216.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 192-203.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 17-26.
|
| |
Journal of Functional Programming, Vol. 15, No. 6. (November 2005), pp. 837-891.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85.
|
| |
|
| |
|
| |
Journal of Functional Programming, Vol. 14, No. 6. (November 2004)
|
| |
|
| |
|
| |
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.
|
| |
|
| |
In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359.
|
