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

iff functional [12 articles]

Recent papers added to iff library classified by the tag functional. You can also see everyone's functional.
  • A Methodology for Generating Verified Combinatorial Circuits
    by Oleg Kiselyov, Kedar N Swadi, Waild Taha
    posted to compiler functional numerical optimization by iff on 2008-04-02 11:06:28 as ***
  • Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
    by Jacques Carette, Oleg Kiselyov
    posted to compiler functional numerical optimization by iff on 2008-04-02 10:42:37 as ****
  • In search of a program generator to implement generic transformations for high-performance computing
    Sci. Comput. Program., Vol. 62, No. 1. (September 2006), pp. 25-46.
    by Albert Cohen, S&\#233;bastien Donadio, Maria-Jesus Garzaran, Christoph Herrmann, Oleg Kiselyov, David Padua
    posted to compiler functional numerical optimization by iff on 2008-04-02 10:40:40 as ***** along with 1 person mmuecke
  • Finger Trees: A Simple General-purpose Data Structure
    Journal of Functional Programming, Vol. 16, No. 2. (2006), pp. 197-217.
    by Ralf Hinze, Ross
    posted to datastructures functional haskell by iff on 2008-02-12 22:41:55 as **** along with 1 person bfraser
  • Strongly typed heterogeneous collections
    (2004), pp. 96-107.
    by Oleg Kiselyov, Ralf L&\#228;mmel, Keean Schupke
    posted to functional haskell by iff on 2008-01-04 13:48:40 as ***** along with 9 people and 1 group jimburton msakai shimomura marcinzalewski JacquesC yallop spl tov americovargas NU-PRL
  • Efficient Translation of Haskell to Java
    by Brian Alliet
    posted to compiler functional by iff on 2007-05-31 07:27:10 as ***
  • Complete Translation of Unsafe Native Code to Safe Bytecode
    by Brian Alliet, Adam Megacz
    posted to compiler functional vm by iff on 2007-05-30 23:41:30 as ****
  • Functional Data Structures
    (August 1996)
    by Chris Okasaki
    posted to functional by iff on 2007-04-26 14:34:51 as ** along with 6 people JeffreyPalmer jrw MattOConnor damaru meiersi eblood
  • Efficient Data Structures in a Lazy Functional Language
    by Martin Holters
    posted to functional by iff on 2007-04-26 14:34:08 as ** along with 3 people tmiya calvins meiersi
  • Transactional memory with data invariants
    by Tim Harris, Simon P Jones
    posted to functional by iff on 2007-04-26 14:20:26 as ***
  • Composable memory transactions
    by Tim Harris, Simon Marlow, Simon P Jones, Maurice Herlihy
    posted to functional by iff on 2007-04-26 14:18:25 as *****
  • Lock -Free Data Structures using STMs in Haskell
    by Anthony Discolo, Tim Harris, Simon Marlow, Simon P Jones, Satnam Singh
    posted to functional by iff on 2007-04-26 14:09:45 as ***
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/iff/tag/functional

    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.