| |
In PLDI 1994, Vol. 29, No. 6. (June 1994), pp. 24-35.
|
| |
In ICFP 2005 (2005), pp. 241-253.
|
| |
In Haskell 2002 (2002), pp. 1-16.
|
| |
|
| |
Journal of Functional Programming, Vol. 1 (January 2003)
|
| |
J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 393-434.
|
| |
In ICFP 2005 (2005), pp. 204-215.
|
| |
In TLDI 2003, Vol. 38, No. 3. (March 2003), pp. 26-37.
|
| |
|
| |
Programming Languages and Systems — ESOP '96 In ESOP 1996 (1996), pp. 18-44.
|
| |
The Computer Journal, Vol. 32, No. 2. (1 February 1989), pp. 175-186.
|
| |
Programming Languages and Systems (2006), pp. 38-53.
|
| |
In Haskell 2007 (2007), pp. 107-118.
|
| |
In ICFP 2006 (2006), pp. 251-262.
|
| |
In FPCA 1993 (1993), pp. 223-232.
|
| |
|
| |
IFL 2000 (2000), pp. 37-58.
|
| |
J. of Functional Programming, Vol. 8, No. 01. (2000), pp. 23-60.
|
| |
J. of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202.
|
| |
In ICFP 2006 (2006), pp. 50-61.
|
| |
In POPL 1993 (1993), pp. 71-84.
|
| |
In 4th Haskell Workshop (17 September 2000)
|
| |
In POPL 2005 (2005), pp. 1-13.
|
| |
In ICFP 2004, Vol. 39, No. 9. (September 2004), pp. 244-255.
|
| |
In POPL 1998 (1998), pp. 49-61.
|