E. Meijer, and J. Jeuring. Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text, page 228--266. London, UK, UK, Springer-Verlag, (1995)
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)
E. de Vries, and A. Löh. Proceedings of the 10th ACM SIGPLAN workshop on Generic programming - WGP '14, page 83--94. New York, NY, USA, ACM Press, (2014)
P. Torrini, C. Lüth, C. Maeder, and T. Mossakowski. Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, page 178–193. Uni Kaiserslautern, (2007)
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)
A. de Buitléir, M. Daly, M. Russell, and D. Heffernan. Trends in Functional Programming: 15th International
Symposium, TFP 2014, Soesterberg, The Netherlands, May
26-28, 2014. Revised Selected Papers, volume 8843 of Lecture Notes in Computer Science, Springer International Publishing, (2015)