1. Alimarine, A., Plasmeijer, R.: A generic programming extension for Clean. In: Arts, T., Mohnen, M. (eds.) Proceedings of the 13th International workshop on the Implementation of Functional Languages, IFL 2001, lvsj, Sweden, September 2001, pp. 257–278 (2001)
2. Altenkirch, T., McBride, C.: Generic programming within dependently typed programming. In: Gibbons, J., Jeuring, J. (eds.) Pre-Proceedings of IFIP TC2 Working Conf. on Generic Programming, WCGP 2002, Dagstuhl, July 11–12 (2002) (Final Proceedings to be published by Kluwer Acad. Publ.)
3. Augustsson, L.: The Haskell B. Compiler, HBC (1998), Available from http://www.cs.chalmers.se/~augustss/hbc/hbc.html
4. Augustsson, L.: Cayenne – a language with dependent types. SIGPLAN Notices 34(1), 239–250 (1999)
5. Baars, A.I., Swierstra, S.D.: Typing dynamic typing. In: Jones, S.P. (ed.) Proceedings of the 2002 International Conference on Functional Programming, Pittsburgh, PA, USA, October 4-6, pp. 157–166. ACM Press, New York (2002)