1
Integrated Formal Methods [E-Book] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
2
Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures [E-Book] /
3
Generic Programming : Advanced Lectures [E-Book] /
Other Personal Name(s): ...Gibbons, Jeremy...

Full text 
4
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures [E-Book] /