Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / [electronic resource] :
edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4719 0302-9743 ; .
9783540767862
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