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 - 11 results of 11 for search 'Gibbons, Jeremy', query time: 0.03s Refine Results
  1. 1
    Proceedings of the third ACM Haskell symposium on Haskell
    Published 2010
    Other Authors: “…Gibbons, Jeremy…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
    Published 2019
    Other Authors: “…Gibbons, Jeremy…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures /
    Published 2012
    Other Authors: “…Gibbons, Jeremy…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Generic Programming Advanced Lectures /
    Published 2003
    Other Authors: “…Gibbons, Jeremy…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures /
    Published 2018
    Other Authors: “…Gibbons, Jeremy…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
    Published 2007
    Other Authors: “…Gibbons, Jeremy…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
    Published 2012
    Other Authors: “…Gibbons, Jeremy…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
    Published 2009
    Other Authors: “…Gibbons, Jeremy…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    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…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    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: “…Gibbons, Jeremy…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
    Published 2007
    Other Authors: “…Gibbons, Jeremy…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search