P. Hudak, J. Hughes, S. Jones, and P. Wadler. Proceedings of the third ACM SIGPLAN conference on History of programming languages, New York, NY, USA, ACM, (2007)
J. Gibbons, and G. Jones. Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98, page 273--279. New York, ACM Press, (1998)
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)