Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

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

Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings