Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Roland Backhouse , Jeremy Gibbons , Ralf Hinze