Jeremy Gibbons
7 published titles
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10 -14 2000 : revised lectures
(Contributor)
1 edition
- ISBN: 3540436138
- Springer
- 2002
- Details
Generic programming : advanced lectures
(Contributor)
1 edition
- ISBN: 3540201947
- Springer-Verlag
- 2003
- Details
The fun of programming
(Contributor)
1 edition
- ISBN: 0333992857
- Palgrave Macmillan
- 2003
- Details
Generic programming : IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany
(Contributor)
1 edition
- ISBN: 1402073747
- Kluwer Academic Publishers
- 2003
- Details
Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642311123
- Springer
- 2012
- Details
Generic and indexed programming : International Spring School, SSGIP 2010, Oxford, UK, March 22-26 2010 : revised lectures
(Contributor)
1 edition
- ISBN: 9783642322013
- Springer
- 2012
- Details
Foundations of health information engineering and systems : third international symposium, FHIES 2013, Macau, China, August 21-23, 2013, revised selected papers
(Contributor)
1 edition
- ISBN: 9783642539558
- Springer
- 2014
- Details
