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
Showing 1 - 14 results of 14 for search 'Gibbons, Jeremy', query time: 0.05s Refine Results
  1. 1
    Generic Programming : IFIP TC2 /

    Generic Programming : IFIP TC2 / by Gibbons, Jeremy

    Published 2003
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  2. 2
    Algorithm design with Haskell /

    Algorithm design with Haskell / by Bird, Richard, 1943-, Gibbons, Jeremy, 1966-

    Published 2020
    Full Text (via Cambridge)
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Generic and indexed programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised lectures /

    Generic and indexed programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised lectures /

    Published 2012
    Other Authors: “…Gibbons, Jeremy, 1966-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  4. 4
    Bidirectional transformations : International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /

    Bidirectional transformations : International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /

    Published 2018
    Other Authors: “…Gibbons, Jeremy, 1966-…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  5. 5
    Mathematics of program construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /

    Mathematics of program construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /

    Published 2012
    Other Authors: “…Gibbons, Jeremy, 1966-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Generic programming : IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany /

    Generic programming : IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany /

    Published 2003
    Other Authors: “…Gibbons, Jeremy, 1966-…”
    Conference Proceeding Book
    Save to List
    Saved in:
  7. 7
    Foundations of health information engineering and systems : third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013, revised selected papers /

    Foundations of health information engineering and systems : third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013, revised selected papers /

    Published 2014
    Other Authors: “…Gibbons, Jeremy, 1966-…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /

    Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /

    Published 2007
    Other Authors:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  9. 9
    Teaching formal methods Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings /

    Teaching formal methods Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings /

    Published 2009
    Other Authors: “…Gibbons, Jeremy, 1966-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  10. 10
    Generic programming : advanced lectures /

    Generic programming : advanced lectures /

    Published 2003
    Other Authors:
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  11. 11
    Functional and logic programming : 17th international symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, proceedings /

    Functional and logic programming : 17th international symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, proceedings /

    Published 2024
    Other Authors: “…Gibbons, Jeremy, 1966-…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Generic programming : advanced lectures /

    Generic programming : advanced lectures /

    Published 2003
    Other Authors:
    Access full-text online
    Book
    Save to List
    Saved in:
  13. 13
    Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures /

    Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures /

    Published 2002
    Other Authors:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  14. 14
    Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures /

    Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures /

    Published 2002
    Other Authors:
    Conference Proceeding Book
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search