新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

pedagand Jones [18 articles]

最近 pedagand さんのライブラリに追加された論文の中から 著者が Jones. であるものをリストアップしています. You can also see everyone's Jones.
  • Simple unification-based type inference for GADTs
    (2006), pp. 50-61.
    by Simon P Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
    posted to cs_252r by pedagand on 2008-08-23 08:10:00 as ** along with 5 people draganigajic spl bringert shimomura mcclurmc
  • Typing Haskell in Haskell
    (1999)
    by M Jones
    posted to cs_252r haskell by pedagand on 2008-08-23 07:52:42 as ** along with 3 people draganigajic dtim cdiggins
  • A theory of qualified types
    Vol. 582 (1992), pp. 287-306.
    by Mark P Jones
    posted to cs_252r types by pedagand on 2008-08-23 07:52:05 as ** along with 1 person draganigajic
  • First-class Polymorphism with Type Inference
    (1997), pp. 483-496.
    by Mark P Jones
    posted to cs_252r by pedagand on 2008-08-23 07:48:29 as ** along with 2 people draganigajic spl
  • Type classes: an exploration of the design space
    (1997)
    by S Jones, M Jones, E Meijer
    posted to cs_252r by pedagand on 2008-08-23 07:47:24 as ** along with 3 people draganigajic linekin jpbernardy
  • A system of constructor classes: overloading and implicit higher-order polymorphism
    (1993), pp. 52-61.
    by Mark P Jones
    posted to cs_252r by pedagand on 2008-08-23 07:45:22 as ** along with 3 people draganigajic SamB jpbernardy
  • Monad transformers and modular interpreters
    (1995), pp. 333-343.
    by Sheng Liang, Paul Hudak, Mark Jones
    edited by Ac
    posted to cs_252r functional-programming haskell monads by pedagand on 2008-08-23 07:36:36 as read along with 10 people and 1 group draganigajic greenrd JeffreyPalmer tautologico zednenem Benja jsala glaubersp conal americovargas SRG_at_UCD
  • Imperative functional programming
    (1993), pp. 71-84.
    by Simon P Jones, Philip Wadler
    posted to cs_252r functional-programming haskell by pedagand on 2008-08-23 07:31:14 as read along with 3 people draganigajic spl linekin
  • Functional Programming with Overloading and Higher-Order Polymorphism
    (1995), pp. 97-136.
    by Mark P Jones
    posted to functional-programming haskell types by pedagand on 2008-08-04 14:54:50 as read along with 5 people tautologico bunge ds americovargas yoriyuki
  • High-level views on low-level representations
    SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 168-179.
    by Iavor S Diatchki, Mark P Jones, Rebekah Leslie
    posted to algebraic-types bit-level functional-programming system-programming by pedagand on 2008-08-02 13:06:53 as ** along with 2 people and 1 group draganigajic hannes Lambda the Ultimate
  • A principled approach to operating system construction in Haskell
    (2005), pp. 116-128.
    by Thomas Hallgren, Mark P Jones, Rebekah Leslie, Andrew Tolmach
    posted to functional-programming haskell monads os by pedagand on 2008-07-29 14:40:02 as read along with 6 people and 1 group draganigajic pejo voigt hannes mahler mstone Rightscom
  • Practical type inference for arbitrary-rank types
    J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 1-82.
    by Simon P Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields
    posted to cs_252r higher-order type-inference types by pedagand on 2008-07-24 12:49:04 as ** along with 3 people draganigajic byorgey americovargas
  • Data parallel Haskell: a status report
    (2007), pp. 10-18.
    by Manuel MT Chakravarty, Roman Leshchinskiy, Simon P Jones, Gabriele Keller, Simon Marlow
    posted to data-flow haskell parallel by pedagand on 2008-06-25 23:34:23 as ** along with 3 people draganigajic tov brecknell
  • Lock Free Data Structures Using STM in Haskell
    Functional and Logic Programming (2006), pp. 65-80.
    by Anthony Discolo, Tim Harris, Simon Marlow, Simon Jones, Satnam Singh
    posted to concurrency functional-programming haskell lock-free stm by pedagand on 2008-01-26 19:23:48 as read along with 4 people draganigajic brecknell keigoi msakai
  • Beautiful Concurrency
    (2007)
    by Simon P Jones
    edited by Andy Oram, Greg Wilson
    posted to concurrency functional-programming haskell lock-free stm by pedagand on 2008-01-26 19:19:51 as read along with 4 people draganigajic mcclurmc jwong frej
  • Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
    by Simon P Jones
    posted to cs_252r functional-programming haskell monads pure by pedagand on 2008-01-19 11:24:01 as read along with 6 people draganigajic p1738j croys scook0 glaubersp SamB
  • Secrets of the Glasgow Haskell compiler inliner
    (1999)
    by S Jones, S Marlow
    posted to compiler cs_252r functional-programming haskell programming-language by pedagand on 2007-11-18 10:14:30 as **
  • Composing contracts: an adventure in financial engineering (functional pearl)
    ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 280-292.
    by Simon P Jones, Jean M Eber, Julian Seward
    posted to finance functional-programming haskell by pedagand on 2007-10-26 04:54:14 as read along with 2 people draganigajic jimburton
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/pedagand/author/Jones

    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.