Zum Inhalt springen

  3. Gibbons, Jeremy [HerausgeberIn]; Moor, Oege de [Sonstige Person, Familie und Körperschaft]

    The fun of programming

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Basingstoke [u.a.]: Palgrave Macmillan, 2003

    Erschienen in: Cornerstones of computing

  4. Backhouse, Roland [Sonstige Person, Familie und Körperschaft]; Gibbons, Jeremy [Sonstige Person, Familie und Körperschaft]; Backhouse, Roland C. [HerausgeberIn] ; Summer School on Generic Programming 2002 Oxford

    Generic programming : advanced lectures ; [lectures presented at a Summer School on Generic Programming held at the University of Oxford in August 2002]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 2793

  5. Backhouse, Roland [Sonstige Person, Familie und Körperschaft]; Gibbons, Jeremy [Sonstige Person, Familie und Körperschaft]; Hinze, Ralf [Sonstige Person, Familie und Körperschaft]; Jeuring, Johan [Sonstige Person, Familie und Körperschaft]; Backhouse, Roland C. [HerausgeberIn] ; Spring School on Datatype Generic Programming 2006 Nottingham

    Datatype-generic programming : international spring school, SSDGP 2006, Nottingham, UK April 24-27, 2006 ; revised lectures

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4719

  6. Backhouse, Roland C. [VerfasserIn] ; Gibbons, Jeremy [Sonstige Person, Familie und Körperschaft]

    Generic Programming : Advanced Lectures

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2003

    Erschienen in: Lecture notes in computer science ; 2793

  8. Gibbons, Jeremy [VerfasserIn] ; ACM Special Interest Group on Programming Languages

    Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York,NY,United States: Association for Computing Machinery, 2019

    Erschienen in: ACM Conferences- ACM Digital Library

  9. Gibbons, Jeremy [VerfasserIn] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Programming Languages

    ICFP 2017 Adjunct Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 2017

    Erschienen in: ACM Digital Library

  10. Gibbons, Jeremy [VerfasserIn] ; MacCaull, Wendy [HerausgeberIn]

    Foundations of Health Information Engineering and Systems : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8315

  11. Gibbons, Jeremy [VerfasserIn]

    Generic and Indexed Programming : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2012

    Erschienen in: Lecture notes in computer science ; 7470

  12. Gibbons, Jeremy [VerfasserIn] ; Nogueira, Pablo [Sonstige Person, Familie und Körperschaft]

    Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 7342

  13. Gibbons, Jeremy [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

    Proceedings of the third ACM Haskell symposium on Haskell

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 2010

    Erschienen in: ACM Digital Library- ACM Conferences

  14. Gibbons, Jeremy [VerfasserIn] ; Oliveira, José Nuno [Sonstige Person, Familie und Körperschaft]

    Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5846

  15. Gibbons, Jeremy [VerfasserIn]

    Computing downwards accumulations on trees quickly

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Auckland]: Centre for Discrete Mathematics and Theoretical Computer Science, [1995]

    Erschienen in: CDMTCS research report series ; 2

  16. Gibbons, Jeremy [VerfasserIn]

    Deriving tidy drawings of trees

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Auckland]: Centre for Discrete Mathematics and Theoretical Computer Science, [1995]

    Erschienen in: CDMTCS research report series ; 3

  17. Gibbons, Jeremy [VerfasserIn]

    An initial-algebra approach to directed acyclic graphs

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Auckland]: Centre for Discrete Mathematics and Theoretical Computer Science, [1995]

    Erschienen in: CDMTCS research report series ; 1

  18. Gibbons, Jeremy [VerfasserIn]

    The third Homomorphism Theorem

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Auckland]: Centre for Discrete Mathematics and Theoretical Computer Science, [1995]

    Erschienen in: CDMTCS research report series ; 5

  19. Gibbons, Jeremy [HerausgeberIn]; Miller, Dale [HerausgeberIn]

    Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings - [1st ed. 2024.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Singapore: Springer Nature Singapore, 2024. ; Singapore: Imprint: Springer, 2024.

    Erschienen in: Lecture Notes in Computer Science ; 14659

  20. Gibbons, Jeremy [HerausgeberIn]; Stevens, Perdita [HerausgeberIn]

    Bidirectional Transformations : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2018

    Erschienen in: Lecture notes in computer science ; 9715