Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures - Backhouse, Roland; Gibbons, Jeremy; Hinze, Ralf.; Jeuring, Johan; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Software engineering; Data structures (Computer science).; Logic design; Computer Science; Programming Techniques; Programming Languages, Compilers, Interpreters; Software Engineering; Data Structures; Logics and Meanings of Programs