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)
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)
M. Hofmann, E. Kitzelmann, and U. Schmid. German Conference on Artificial Intelligence (KI'08), volume 5243 of LNAI, page 78--86. Springer-Verlag, (2008)
R. Hinze, N. Wu, and J. Gibbons. Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, page 209--220. New York, NY, USA, ACM, (2013)
T. Harris, S. Marlow, S. Peyton-Jones, and M. Herlihy. Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, page 48--60. New York, NY, USA, ACM, (2005)
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)