Jeremy Gibbons - Böcker

Fun of Programming

Algorithm Design with Haskell

Generic Programming

IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

Fun of Programming

Generic Programming

IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

Trends in Functional Programming

26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers

Bidirectional Transformations

International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Generic Programming

Advanced Lectures

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Integrated Formal Methods

6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Datatype-Generic Programming

International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Teaching Formal Methods

Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Mathematics of Program Construction

11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Generic and Indexed Programming

Foundations of Health Information Engineering and Systems

Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers