R. Lämmel, and S. Jones. Proceedings of the 2003 ACM SIGPLAN International
Workshop on Types in Languages Design and
Implementation, page 26--37. New York, NY, USA, ACM, (2003)
R. Lämmel, and S. Jones. Proceedings of the Tenth ACM SIGPLAN International
Conference on Functional Programming, page 204--215. New York, NY, USA, ACM, (2005)
R. Lämmel, and S. Jones. Proceedings of the Ninth ACM SIGPLAN International
Conference on Functional Programming, page 244--255. New York, NY, USA, ACM, (2004)