registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

benchambers library [13 articles]

Neue Artikel in benchambers Bibliothek.
RIS BibTeX RTF/PDF
  • Efficient Circuit to CNF Conversion
    Theory and Applications of Satisfiability Testing – SAT 2007 (2007), pp. 4-9.
    by Panagiotis Manolios, Daron Vroon
    posted to sat by benchambers on 2008-04-08 00:52:22 as **
  • Monads and Composable Continuations
    Lisp and Symbolic Computation, Vol. 7, No. 1. (1994), pp. 39-56.
    by Philip Wadler
    posted to haskell monads by benchambers on 2008-02-20 05:05:54 as ** along with 3 people glaubersp cdiggins bringert
  • Monad Transformers Step by Step
    (October 2006)
    by Martin Grabmüller
    posted to haskell monads by benchambers on 2008-02-20 04:49:15 as ** along with 2 people lomeo mcclurmc
  • Comprehending Monads
    (1990), pp. 61-78.
    by PL Wadler
    posted to haskell monads by benchambers on 2008-02-20 04:48:36 as ** along with 29 people and 2 groups hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley scis0000001 msn mstone bunge rgb Benja jsala meiersi jasonmc glaubersp ds conal cdiggins cognominal kazuya hayeah mmarcus donniejones18 SRG_at_UCD pileWorks
  • The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Series)
    (01 May 1987)
    by Simon
    posted to haskell by benchambers on 2008-02-07 08:20:23 as ** along with 3 people tautologico Benja spl
  • Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine
    Journal of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202.
    by Simon
    posted to haskell by benchambers on 2008-02-07 08:19:42 as ** along with 7 people JeffreyPalmer jrw zednenem damaru jpetry donniejones18 spl
  • Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
    by Simon P Jones
    posted to haskell by benchambers on 2008-02-07 08:18:48 as *** along with 7 people ancechu dsilva calvins vlasovskikh serebryakov cognominal kazuya
  • Haskell on a shared-memory multiprocessor
    (2005), pp. 49-61.
    by Tim Harris, Simon Marlow, Simon Peyton-Jones
    posted to haskell by benchambers on 2008-02-07 08:17:41 as **** along with 9 people masteraka hamish jrw tautologico voigt msakai neilc kazuya brecknell
  • Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell
    (1999), pp. 37-58.
    by Simon, Simon Marlow, Conal Elliott
    posted to haskell by benchambers on 2008-02-07 08:00:54 as **** along with 3 people and 1 group jacob rgrig donniejones18 SRG_at_UCD
  • notes The Optimality of a Fast CNF Conversion and its Use with SAT
    by Paul Jackson, Daniel Sheridan
    posted to cnf sat by benchambers on 2007-10-27 08:18:20 as ***
  • Categorical Domain Theory: Scott Topology, Powercategories, Coherent Categories
    by Panagis Karazeris
    posted to category theory by benchambers on 2007-10-19 18:08:37 as ** along with 1 person MehmetBudak
  • A Tutorial on (Co)Algebras and (Co)Induction
    Bulletin of the European Association for Theoretical Computer Science, Vol. 62 (1997), pp. 222-259.
    by Bart Jacobs, Jan Rutten
    posted to category theory by benchambers on 2007-10-19 08:38:22 as ** along with 8 people and 1 group mahler madhadron brothers cpfr kalmar mmarcus marcinzalewski tautologico Rightscom
  • A Categorical Primer
    (1997)
    by Chris Hillman
    posted to category theory by benchambers on 2007-10-19 08:34:59 as *** along with 2 people MehmetBudak masteraka
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/benchambers

    RIS BibTeX RTF/PDF
    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.