1. Achten, P. and Hinze, R. Combining Generics and Dynamics. Technical Report NIII-R0206, July, 2002, Nijmegen Institute for Computing and Information Sciences, Faculty of Sciences, University of Nijmegen, The Netherlands.
2. Technical Report;P.M. Achten,2000
3. Lect Notes Comput Sci;A. Alimarine,2001
4. Altenkirch, T. and McBride, C. Generic Programming Within Dependently Typed Programming. To appear in Proceedings Working Conference on Generic Programming, Dagstuhl, Castle, Germany, July 11–12, 2002.
5. Lect Notes Comput Sci;T. Brus,1987