Results for author 'Jeremy Gibbons'

The Fun of Programming

Cornerstones of Computing

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

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

Teaching Formal Methods

Second International Conference, Tfm 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings

Generic Programming

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

Generic Programming

Advanced Lectures

Foundations of Health Information Engineering and Systems

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

Generic and Indexed Programming

International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

Algorithm Design with Haskell

Functional and Logic Programming

17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Trends in Functional Programming

26th International Symposium, Tfp 2025, Oxford, Uk, January 14ï½16, 2025, Revised Selected Papers