Datatype-Generic Programming – Lecture Notes in Computer Science: 4719 (Paperback) International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures by Roland Backhouse (Editor) , Jeremy Gibbons (Editor) , Ralf Hinze (Editor) , Johan Jeuring (Editor)