Generic Programming : IFIP TC2 / WG2.1 Working Conference Programming July 11.12, 2002, Dagstuhl, Germany - Jeremy Gibbons, Johan Jeuring ((IFIP Advances in Information and Communication Technology))