Thorsten Altenkirch, Conor McBride. Generic Programming within Dependently Typed Programming. In Jeremy Gibbons, Johan Jeuring, editors, Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany. Volume 243 of IFIP Conference Proceedings, pages 1-20, Kluwer, 2002.
No references recorded for this publication.
No citations of this publication recorded.