K. Stengel, F. Schmaus, und R. Kapitza. Proceedings of the 12th International Workshop on Adaptive and Reflective Middleware, New York, NY, USA, Association for Computing Machinery, (2013)
N. Danielsson, J. Hughes, P. Jansson, und J. Gibbons. Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Volume 41 von POPL '06, Seite 206--217. New York, NY, USA, ACM, (Januar 2006)
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)
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)
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)
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)