Books · Search

Books by Jeremy Gibbons

Mathematical Logic and Formal Languages · Programming Techniques

Generic and Indexed Programming

Jeremy Gibbons

2012

Mathematics

Algorithm Design with Haskell

Richard S. Bird

2020

Functional programming (Computer science)

FUN OF PROGRAMMING; ED. BY JEREMY GIBBONS

Jeremy Gibbons

2003

Software engineering · Information theory

Generic Programming

Jeremy Gibbons

2003

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Roland C. Backhouse

2003

The Timechart of Aviation History

David Gibbons

2001

Haskell'17

Jeremy Gibbons

2017

Erlang'17

Jeremy Gibbons

2017

TyDe'17

Jeremy Gibbons

2017

Fhpc'17

Jeremy Gibbons

2017

Farm'17

Jeremy Gibbons

2017

Teaching Formal Methods

Jeremy Gibbons

2009

System design

Integrated Formal Methods

Jim Davies

2007

Medical informatics

Foundations of Health Information Engineering and Systems

Jeremy Gibbons

2014

Functional and Logic Programming

Jeremy Gibbons

2024

Mathematical Logic and Formal Languages · Logic design

Mathematics of Program Construction

Jeremy Gibbons

2012

Datatype-generic Programming

Roland C. Backhouse

2008

Teaching Formal Methods

Jeremy Gibbons,Jose Nuno Oliveira

2009

Computer programming

Bidirectional Transformations

Jeremy Gibbons

2018

Integrated Formal Methods

Jeremy Gibbons,Jim Davies

2008

Generic programming (Computer science) · Congresses

Generic programming

Jeremy Gibbons

2003

Computer programming

Mathematics Of Program Construction 11th International Conference Mpc 2012 Madrid Spain June 2527 2012 Proceedings

Jeremy Gibbons

2012

Medical informatics · Congresses

Foundations Of Health Information Engineering And Systems Third International Symposium Fhies 2013 Macau China August 2123 2013 Revised Selected Papers

Jeremy Gibbons

2014

Computer science

Proceedings of the third ACM Haskell symposium on Haskell

Jeremy Gibbons

2010