- Haskell, page 135-146. ACM, (2010)
- Haskell, page 121-134. ACM, (2010)
- Haskell, page 118-129. ACM, (2011)
- Haskell, page 23-34. ACM, (2011)
- Haskell, page 71-82. ACM, (2011)
- In Haskell Workshop, (1997)
- J. Funct. Program. 21(4-5):333-412 (2011)
- Theor. Comput. Sci. (1988)
- Sci. Comput. Program. 32(1-3):3-47 (1998)
- Softw., Pract. Exper. 21(5):479-506 (1991)
- APLAS, volume 2895 of Lecture Notes in Computer Science, page 357. Springer, (2003)
- ESOP, volume 2986 of Lecture Notes in Computer Science, page 49-63. Springer, (2004)
- Comput. J. 32(2):175-186 (1989)
- Advanced Functional Programming, volume 1129 of Lecture Notes in Computer Science, page 1-37. Springer, (1996)
- FME, volume 2021 of Lecture Notes in Computer Science, page 435. Springer, (2001)
- IFL, volume 2011 of Lecture Notes in Computer Science, page 194-213. Springer, (2000)
- Electr. Notes Theor. Comput. Sci. 59(1):89-108 (2001)
- Electr. Notes Theor. Comput. Sci. 41(1):3 (2000)
- Electr. Notes Theor. Comput. Sci. 41(1):5-35 (2000)
- Electr. Notes Theor. Comput. Sci. (1999)


author