It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 30, 2008 | History
Edit

Jeremy Gibbons

We need a photo of Jeremy Gibbons

22 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: The fun of programming

    First published in 2003 3 editions in 2 languages
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

    First published in 2012 3 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Algorithm Design with Haskell

    First published in 2020 3 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Generic Programming: IFIP TC2

    First published in 2003 2 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

    First published in 2003 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings

    First published in 2009 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

    First published in 2007 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

    First published in 2014 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Erlang'17: 16th ACM SIGPLAN International Workshop on Erlang

    First published in 2017 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: TyDe'17: 2st ACM SIGPLAN International Workshop on Type-Driven Development

    First published in 2017 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 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)

    First published in 2003 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

    First published in 2018 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Datatype-generic Programming

    First published in 2008 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Foundations Of Health Information Engineering And Systems Third International Symposium Fhies 2013 Macau China August 2123 2013 Revised Selected Papers

    First published in 2014 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mathematics Of Program Construction 11th International Conference Mpc 2012 Madrid Spain June 2527 2012 Proceedings

    First published in 2012 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The fun of programming

    First published in 2005 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proceedings of the third ACM Haskell symposium on Haskell

    First published in 2010 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Fhpc'17: 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing

    First published in 2017 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Farm'17: 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design

    First published in 2017 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Haskell'17: 10th ACM SIGPLAN International Haskell Symposium

    First published in 2017 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Jeremy Gibbons

Subjects
Computer science, Computer programming, Congresses, Software engineering, Data structures (Computer science), Generic programming (Computer science), Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Medical informatics, Programming Languages, Compilers, Interpreters, Computational complexity, Data Structures, Data structures (computer science), Discrete Mathematics in Computer Science, Functional programming (Computer science), Gesundheitstelematik, Information theory, Math Applications in Computer Science, Mathematics, Programming Techniques, System design

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL3296105A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 30, 2008 Created by an anonymous user initial import