Roland Carl Backhouse Jeremy Gibbons Generic Programming Lecture Notes in Computer Science 2793 Springer 2003 3-540-20194-7 db/conf/ac/gp2003.html