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

jff Jones [24 articles]

Recent papers posted to jff library by the author Jones. You can also see Jones everyone.
  • Scrap your boilerplate: A practical design pattern for generic programming.
    (2003), pp. 26-37.
    by Ralf lämmel, Simon P Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:40 as **
  • Scrap more boilerplate
    (2004)
    by Ralf lämmel, Simon P Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:40 as **
  • Boilerplate
    by Peyton SL Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:39 as **
  • The Implementation of Functional Programming Languages
    (1987)
    by Peyton SL Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:39 as **
  • Multilevel Functions in Type Theory
    (1985)
    by B Nordström
    edited by N Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:39 as **
  • notes Shortcut Deforestation in Calculational Form
    (June 1995)
    by Akihito Takano, Erik Meijer
    edited by Peyton S Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:37 as **
  • notes Bananas in Space: Extending Squiggol to Function-Space Types
    (June 1995)
    by Erik Meijer, Graham Hutton
    edited by Peyton S Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:37 as **
  • notes Using parameterized signatures to express modular structure
    (1996), pp. 68-78.
    by Mark P Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:33 as **
  • Functional programming with overloading and higher-order polymorphism
    Vol. 925 (May 1995), pp. 97-136.
    by Mark P Jones
    edited by J Jeuring, E Meijer
    posted to rcb-bibfile by jff on 2008-05-07 12:57:33 as **
  • mural: A Formal Development Support System
    (1991)
    by CB Jones, KD Jones, PA Lindsay, R Moore
    posted to rcb-bibfile by jff on 2008-05-07 12:57:33 as **
  • notes Constructing the Fast Fourier Transform
    by G Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:33 as **
  • Systematic Software Development Using VDM
    (1986)
    by C Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:33 as **
  • Constructing functional programs for grammar analysis problems
    (June 1995)
    by J Jeuring, SD Swierstra
    edited by Peyton S Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:33 as **
  • Derivable Type Classes
    (September 2000)
    by Ralf Hinze, Simon P Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:31 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 **
  • notes Deriving bit-serial circuits in Ruby
    (1992)
    by Geraint Jones, Mary Sheeran
    edited by Arne Halaas, Peter B Denyer
    posted to rcb-bibfile by jff on 2008-05-07 12:57:14 as **
  • The Search for Tractable Ways of Reasoning about Programs
    No. UMCS-92-4-4. (1992)
    by Cliff B Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:11 as **
  • notes Designing Circuits by Calculation
    No. PRG-TR-10-90. (April 1990)
    by Geraint Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:11 as **
  • notes Circuit Design in Ruby
    (1990)
    by Geraint Jones, Mary Sheeran
    edited by Jorgen Staunstrup
    posted to rcb-bibfile by jff on 2008-05-07 12:57:11 as **
  • notes Designing Arithmetic Circuits by Refinement in Ruby
    No. 669. (1993)
    by Geraint Jones, Mary Sheeran
    edited by JC Woodcock, CC Morgan, RS Bird
    posted to rcb-bibfile by jff on 2008-05-07 12:57:11 as **
  • The Implementation of Functional Programming Languages
    (1987)
    by Peyton SL Jones
    posted to rcb-bibfile by jff on 2008-05-07 12:57:09 as **
  • notes Report on the Programming Language Haskell 98
    (1999)
    by Peyton S Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, K Hammond, R Hinze, P Hudak, T Johnsson, M Jones, J Launchbury, E Meijer, J Peterson, A Reid, C Runciman, P Wadler
    posted to rcb-bibfile by jff on 2008-05-07 12:57:08 as **
  • Composable Memory Transactions
    (2005), pp. 48-60.
    by T Harris, S Marlow, Peyton S Jones, M Herlihy
    posted to rcb-bibfile by jff on 2008-05-07 12:57:08 as **
  • Elementary Number Theory
    (31 July 1998)
    by Gareth A Jones, Josephine M Jones
    posted to book math-bib number-theory by jff on 2008-01-15 16:19:13 as ** along with 1 group Crypto
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/jff/author/Jones

    RIS BibTeX RSS
    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.