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