STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Jeremy Gibbons | lit.salon
Jeremy Gibbons
No bio available.
Add one in Open Library.
Books by Jeremy Gibbons (50 max)
+ shelf
+ list
The fun of programming
2003
Jeremy Gibbons
+ shelf
+ list
Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
2012
Jeremy Gibbons
+ shelf
+ list
Algorithm Design with Haskell
2020
Richard S. Bird, Jeremy Gibbons
+ shelf
+ list
Generic Programming IFIP TC2
2003
Jeremy Gibbons
+ shelf
+ list
Generic Programming: IFIP Tc2/Wg2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany (International Federation for Information ... Federation for Information Processing)
2003
Jeremy Gibbons, Johan Jeuring
+ shelf
+ list
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
2003
Roland C. Backhouse, Roy Crole, Jeremy Gibbons
+ shelf
+ list
The fun of programming
2005
Jeremy Gibbons, Oege de Moor
+ shelf
+ list
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
2007
Jim Davies, Jeremy Gibbons
+ shelf
+ list
Datatype-generic Programming
2008
Roland C. Backhouse, Jeremy Gibbons, Ralf Hinze
+ shelf
+ list
Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings
2009
Jeremy Gibbons, Jose Nuno Oliveira
+ shelf
+ list
Proceedings of the third ACM Haskell symposium on Haskell
2010
Jeremy Gibbons
+ shelf
+ list
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
2012
Jeremy Gibbons
+ shelf
+ list
Mathematics Of Program Construction 11th International Conference Mpc 2012 Madrid Spain June 2527 2012 Proceedings
2012
Jeremy Gibbons
+ shelf
+ list
Foundations Of Health Information Engineering And Systems Third International Symposium Fhies 2013 Macau China August 2123 2013 Revised Selected Papers
2014
Jeremy Gibbons
+ shelf
+ list
Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
2014
Jeremy Gibbons, Wendy MacCaull
+ shelf
+ list
Fhpc'17: 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing
2017
Jeremy Gibbons
+ shelf
+ list
Haskell'17: 10th ACM SIGPLAN International Haskell Symposium
2017
Jeremy Gibbons
+ shelf
+ list
Erlang'17: 16th ACM SIGPLAN International Workshop on Erlang
2017
Jeremy Gibbons
+ shelf
+ list
Farm'17: 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
2017
Jeremy Gibbons
+ shelf
+ list
TyDe'17: 2st ACM SIGPLAN International Workshop on Type-Driven Development
2017
Jeremy Gibbons
+ shelf
+ list
Bidirectional Transformations : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
2018
Jeremy Gibbons, Perdita Stevens
+ shelf
+ list
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
2024
Jeremy Gibbons, Dale Miller
