Jeremy Gibbons

Gibbons in 2023 Jeremy Gibbons is a computer scientist and professor of computing at the University of Oxford. He serves as Deputy Director of the Software Engineering Programme in the Department of Computer Science, Governing Body Fellow at Kellogg College and Pro-Proctor of the University of Oxford. Provided by Wikipedia
1
Foundations of Health Information Engineering and Systems [E-Book] : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers /
Other Personal Name(s): “...Gibbons, Jeremy....”

Full text 
Favorites
Saved in:
2
Generic and Indexed Programming [E-Book] : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures /
Other Personal Name(s): “...Gibbons, Jeremy....”

Full text 
Favorites
Saved in:
3
Mathematics of Program Construction [E-Book]: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
Other Personal Name(s): “...Gibbons, Jeremy....”

Full text 
Favorites
Saved in:
4
Teaching Formal Methods [E-Book] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
Other Personal Name(s): “...Gibbons, Jeremy...”

Full text 
Favorites
Saved in:
5
Integrated Formal Methods [E-Book] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
Other Personal Name(s): “...Gibbons, Jeremy...”

Full text 
Favorites
Saved in:
6
Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures [E-Book] /
Other Personal Name(s): “...Gibbons, Jeremy...”

Full text 
Favorites
Saved in:
7
Generic programming : IFIP TC2 / WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany /
Book
Other Personal Name(s): “...Gibbons, Jeremy...”
Loan/Reservation

Favorites
Saved in:
8
Generic Programming : Advanced Lectures [E-Book] /
Other Personal Name(s): “...Gibbons, Jeremy...”

Full text 
Favorites
Saved in:
9
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures [E-Book] /
Other Personal Name(s): “...Gibbons, Jeremy...”

Full text 
Favorites
Saved in: