Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

jff Gibbons [16 articles]

Recent papers posted to jff library by the author Gibbons. You can also see Gibbons everyone.
  • Enumerating the Rationals
    Journal of Functional Programming, Vol. 16, No. 3. (2006), pp. 281-291.
    by Jeremy Gibbons, David Lester, Richard Bird
    posted to rcb-bibfile by jff on 2008-05-07 12:57:32 as **
  • notes Patterns in Datatype-Generic Programming
    Vol. 27 (2003)
    by Jeremy Gibbons
    edited by Jörg Striegnitz, Kei Davis
    posted to rcb-bibfile by jff on 2008-05-07 12:57:32 as **
  • When is a function a fold or an unfold?
    Electronic Notes in Theoretical Computer Science, Vol. 44, No. 1. (2001)
    by Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch
    posted to rcb-bibfile by jff on 2008-05-07 12:57:32 as **
  • Galois Connections and Fixed Point Calculus
    Vol. LNCS 2297 (2002), pp. 89-148.
    by Roland Backhouse
    edited by Roland Backhouse, Roy Crole, Jeremy Gibbons
    posted to rcb-bibfile by jff on 2008-05-07 12:57:27 as **
  • Algebra of Program Termination
    Vol. LNCS 2297 (2002), pp. 203-235.
    by Henk Doornbos, Roland Backhouse
    edited by Roland Backhouse, Roy Crole, Jeremy Gibbons
    posted to rcb-bibfile by jff on 2008-05-07 12:57:27 as **
  • Formal Derivation of a Pattern Matching Algorithm
    (1988)
    by RS Bird, J Gibbons, G Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:22 as **
  • Generic Haskell: Applications
    Vol. 2793 (2003), pp. 57-96.
    by Ralf Hinze, Johan Jeuring
    edited by Roland Backhouse, Jeremy Gibbons
    posted to rcb-bibfile by jff on 2008-05-07 12:57:21 as **
  • Generic Haskell: Practice and Theory
    Vol. 2793 (2003), pp. 1-56.
    by Ralf Hinze, Johan Jeuring
    edited by Roland Backhouse, Jeremy Gibbons
    posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as **
  • Generic Haskell: Applications
    Vol. LNCS 2793 (2003), pp. 57-96.
    by Ralf Hinze, Johan Jeuring
    edited by Roland Backhouse, Jeremy Gibbons
    posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as **
  • Generic Haskell: Practice and Theory
    Vol. LNCS 2793 (2003), pp. 1-56.
    by Ralf Hinze, Johan Jeuring
    edited by Roland Backhouse, Jeremy Gibbons
    posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as **
  • Generic Programming
    Vol. 2793 (2003)
    edited by Roland Backhouse, Jeremy Gibbons
    posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as **
  • Generic Properties of Datatypes
    Vol. 2793 (2003), pp. 98-135.
    by Roland Backhouse, Paul Hoogendijk
    edited by Roland Backhouse, Jeremy Gibbons
    posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as **
  • notes Algebraic and Colagebraic Methods in the Mathematics of Program Construction
    Vol. 2297 (2002)
    edited by Roland Backhouse, Jeremy Gibbons, Roy Crole
    posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as **
  • notes Galois Connections and Fixed Point Calculus
    Vol. 2297 (2002), pp. 89-148.
    by Roland Backhouse
    edited by Roland Backhouse, Roy Crole, Jeremy Gibbons
    posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as **
  • Spring School on Datatype-Generic Programming
    Vol. 4719 (2007)
    edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring
    posted to rcb-bibfile by jff on 2008-05-07 12:57:06 as **
  • Enumerating the Rationals
    (2006)
    by Jeremy Gibbons, David Lester, Richard Bird
    posted to haskell general-bib algorithms by jff on 2007-02-01 13:56:56 as ** along with 1 person and 4 groups dsquared Crypto GraphTheory Foundations-of-Programming TMC
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/jff/author/Gibbons

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.