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

mstone monads [28 articles]

Recent papers added to mstone library classified by the tag monads. You can also see everyone's monads.
  • notes Data types à la carte
    by Wouter Swierstra
    posted to coproducts fixed-points free-monads functional-pearls haskell monads by mstone on 2008-03-03 04:57:52 as read
  • Parameterized Notions of Computation
    Proceedings of Workshop on Mathematically Structured Functional Programming (July 2006)
    by Robert Atkey
    posted to category-theory monads monoidal-categories notions-of-computation by mstone on 2008-01-24 06:03:43 as read along with 2 people alec tov
  • Modules over Monads and Linearity
    (7 May 2007)
    by André Hirschowitz, Marco Maggesi
    posted to abstract-syntax category-theory lambda-calculus modules monads semantics by mstone on 2007-05-28 15:35:04 as read along with 1 person jrw
  • Higher Operads, Higher Categories
    (2 May 2003)
    by Tom Leinster
    posted to higher-category-theory monads operads by mstone on 2007-02-26 17:42:45 as ** along with 5 people jedal jrw wnoise dmitri83 scis0000001
  • The formal theory of monads II
    Journal of Pure and Applied Algebra, No. 175. (2002), pp. 243-265.
    by Steve Lack, Ross Street
    posted to 2-categories monads by mstone on 2007-02-26 17:39:30 as **
  • Arrows, like Monads, are Monoids
    Electronic Notes in Theoretical Computer Science, Vol. 158 (5 May 2006), pp. 219-236.
    by Chris Heunen, Bart Jacobs
    posted to arrows category-theory monads monoids by mstone on 2007-02-26 05:21:36 as ** along with 5 people and 1 group jrw zednenem oryp6518 rgb cognominal pileWorks
  • Rewriting via Coinserters
    Nordic Journal of Computing, Vol. 10 (2003), pp. 290-312.
    by Neil Ghani, Cristoph Lüth
    posted to coinserters monads rewriting-systems by mstone on 2007-02-26 05:01:03 as **
  • Monad Comprehensions: A Versatile Representation for Queries
    by Torsten Grust
    posted to databases monads queries by mstone on 2007-02-26 04:46:10 as **
  • Solving Algebraic Equations using Coalgebra
    Theoretical Informatics and Applications, Vol. 37 (2003), pp. 301-314.
    by Federico de Marchi, Neil Ghani, Cristoph Lüth
    posted to coalgebra monads by mstone on 2007-02-26 04:37:49 as **
  • Generic Exception Handling and the Java Monad
    : Algebraic Methodology and Software Technology (2004), pp. 443-459.
    by Lutz Schröder, Till Mossakowski
    posted to exceptions java monads by mstone on 2007-02-26 04:29:44 as **
  • The Metric Monad for Probabilistic Nondeterminism
    (April 2005)
    by Franck van Breugel
    posted to monads probability by mstone on 2007-02-26 04:26:54 as **
  • Monads for natural language semantics
    (17 May 2002)
    by Chung-Chieh Shan
    posted to linguistics monads by mstone on 2007-02-26 04:16:56 as read
  • 2-Categories
    (August 1998)
    by John Power
    posted to 2-categories monads by mstone on 2007-02-26 02:09:55 as **
  • An Analytical Approach to Programs as Data Objects
    by Olivier Danvy
    posted to continuations defunctionalization monads partial-evaluation program-transformation by mstone on 2007-02-25 22:31:54 as read
  • Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code.
    Vol. 3676 (September 2005)
    by Jacques Carette, Oleg Kiselyov
    edited by R Glück, M Lowry
    posted to linear-algebra metaocaml monads staged-programming by mstone on 2006-11-17 05:31:08 as read
  • A methodology for generating verified combinatorial circuits
    (2004), pp. 249-258.
    by Oleg Kiselyov, Kedar N Swadi, Walid Taha
    posted to abstract-interpretation code-generation metaocaml monads by mstone on 2006-11-17 05:25:16 as read
  • An Abstract View of Programming Languages
    (1989)
    by Eugenio Moggi
    posted to categorical-logic category-theory denotational-semantics monads by mstone on 2006-07-18 16:56:41 as *****
  • Notions of Computation and Monads
    Information and Computation, Vol. 93, No. 1. (1991)
    by Eugenio Moggi
    posted to computation monads by mstone on 2006-07-18 16:51:35 as read
  • Monadic Encapsulation of Effects: A Revised Approach (Extended Version)
    Journal of Functional Programming, Vol. 11, No. 6. (2001)
    by Eugenio Moggi, Amr Sabry
    posted to lambda-calculus monads by mstone on 2006-07-18 16:40:07 as *
  • An Abstract Monadic Semantics for Value Recursion
    Theoretical Informatics and Applications (2003)
    by Eugenio Moggi, Amr Sabry
    posted to monadic-meta-language monads recursion by mstone on 2006-07-18 16:27:53 as **
  • notes Stochastic lambda calculus and monads of probability distributions
    Vol. 37, No. 1. (January 2002), pp. 154-165.
    by Norman Ramsey, Avi Pfeffer
    posted to category-theory haskell monads probability by mstone on 2006-07-17 19:52:13 as read along with 4 people and 2 groups pedagand dherman tautologico mahler NU-PRL Rightscom
  • A Logical View of Effects
    by Sungwoo Park, Robert Harper
    posted to category-theory effects monads by mstone on 2006-07-13 17:59:53 as ** along with 1 person yang
  • Notions of Computation Determine Monads
    (2002), pp. 342-356.
    by Gordon D Plotkin, John Power
    posted to computation monads by mstone on 2006-07-13 17:57:03 as ** along with 6 people and 2 groups greenrd JeffreyPalmer cedricboidin zednenem mahler glaubersp Rightscom SRG_at_UCD
  • Explaining monads
    Lambda the Ultimate
    posted to monads by mstone on 2006-07-13 17:54:08 as read
  • notes Comprehending Monads
    (1990), pp. 61-78.
    by PL Wadler
    posted to category-theory haskell lambda-calculus monads by mstone on 2006-07-03 14:18:38 as read along with 29 people and 2 groups hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley scis0000001 msn bunge rgb Benja jsala meiersi jasonmc glaubersp ds conal cdiggins cognominal benchambers kazuya hayeah mmarcus donniejones18 SRG_at_UCD pileWorks
  • Composing monads using coproducts
    Vol. 37, No. 9. (September 2002), pp. 133-144.
    by Christoph Lüth, Neil Ghani
    posted to category-theory coproducts monads by mstone on 2006-06-15 20:28:48 as ** along with 2 people and 2 groups pedagand rgb Lambda the Ultimate pileWorks
  • notes The essence of functional programming
    (1992), pp. 1-14.
    by Philip Wadler
    posted to functional-programming monads by mstone on 2006-06-08 19:20:55 as read along with 14 people and 3 groups frej pedagand assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya calvins hayeah NU-PRL GroupLens SRL
  • notes Computational lambda-calculus and monads
    (1989), pp. 14-23.
    by E Moggi
    posted to category-theory lambda-calculus monads by mstone on 2006-06-08 19:18:48 as read
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/mstone/tag/monads

    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.