Jeremy Gibbons
21 works on record
Works
Proceedings of the third ACM Haskell symposium on Haskell
Foundations Of Health Information Engineering And Systems Third International Symposium Fhies 2013 Macau China August 2123 2013 Revised Selected Papers
Mathematics Of Program Construction 11th International Conference Mpc 2012 Madrid Spain June 2527 2012 Proceedings
Generic programming
Generic and Indexed Programming
Mathematics of Program Construction
Bidirectional Transformations
Datatype-generic Programming
Fun of Programming
FUN OF PROGRAMMING; ED. BY JEREMY GIBBONS
Algorithm Design with Haskell
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Integrated Formal Methods
Teaching Formal Methods
Foundations of Health Information Engineering and Systems
Fhpc'17
Haskell'17
Erlang'17
Farm'17
TyDe'17
Functional and Logic Programming