registrieren | anmelden | FAQ      [?] 

Tag monads [170 articles]

Recent papers classified by the tag monads.
  • 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 by zednenem on 2006-08-08 00:22:04 as read along with 5 people and 1 group jrw oryp6518 mstone rgb cognominal pileWorks
  • Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters.
    by Luc Duponcheel
    posted to compilation interpreters monads by zednenem on 2006-05-14 22:21:15 as *** along with 1 person jrw
  • An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming
    by Jonathan MD Hill, Keith Clarke
    posted to category-theory fp haskell monads by zednenem on 2007-03-28 02:36:39 as read along with 8 people and 1 group ansobol jrw proportional jutaro glaubersp mathcoq ps_ttf namin Lambda the Ultimate
  • Notions of Computation Determine Monads
    (2002), pp. 342-356.
    by Gordon D Plotkin, John Power
    posted to effects lawvere-theories monads by zednenem on 2005-11-02 16:40:35 as ** along with 6 people and 2 groups greenrd JeffreyPalmer cedricboidin mahler mstone glaubersp Rightscom SRG_at_UCD
  • DSL implementation using staging and monads
    (1999), pp. 81-94.
    by Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic
    posted to dsl monads staged-programming by zednenem on 2005-08-26 22:21:12 as **** along with 6 people and 2 groups twleung JacquesC hamish greenrd JeffreyPalmer cedricboidin NU-PRL SRG_at_UCD
  • Lazy Functional State Threads
    (1994), pp. 24-35.
    by John Launchbury, Simon
    posted to haskell lazy-evaluation monads by zednenem on 2008-07-28 06:25:10 as **
  • Comprehending Monads
    (1990), pp. 61-78.
    by PL Wadler
    posted to monads by zednenem on 2006-02-04 22:22:22 as ** along with 29 people and 2 groups hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin bfraser ben_moseley scis0000001 msn mstone bunge rgb Benja jsala meiersi jasonmc glaubersp ds conal cdiggins cognominal benchambers kazuya hayeah mmarcus donniejones18 SRG_at_UCD pileWorks
  • Adequacy for Algebraic Effects
    Lecture Notes in Computer Science, Vol. 2030 (2001)
    by Gordon Plotkin, John Power
    posted to effects lambda-calculus lawvere-theories monads by zednenem on 2007-10-11 04:33:40 as **
  • notes Monadic regions
    Vol. 39, No. 9. (September 2004), pp. 103-114.
    by Matthew Fluet, Greg Morrisett
    posted to allocation monads references by zednenem on 2005-09-08 17:07:57 as ** along with 4 people and 1 group JeffreyPalmer josefs voigt mahler Rightscom
  • Trampolining Architectures
    by Steven E Ganz, Daniel P Friedman
    posted to continuation fp monads by zednenem on 2005-08-04 19:38:16 as ** along with 3 people and 1 group dalev JeffreyPalmer eblood NU-PRL
  • A Monadic Categorical Semantics for Threads
    by Jonathan Sobel, Steven E Ganz, Daniel P Friedman, Mitchell Wand
    posted to category-theory concurrency monads by zednenem on 2005-08-05 19:01:41 as ** along with 8 people and 1 group dalev jrw bfraser dmitri83 EdwardKmett jsala neuralwarp ps_ttf NU-PRL
  • Combining a Monad and a Comonad
    No. TR-99-33. (1999)
    by John Power, Hiroshi Watanabe
    posted to comonads monads by zednenem on 2008-03-23 22:05:48 as ** along with 1 person sclv
  • Representing Monads
    (1994), pp. 446-457.
    by Andrzej Filinski
    posted to monads reflection by zednenem on 2005-07-22 22:34:15 as ** along with 2 people JeffreyPalmer glaubersp
  • notes Combining Effects: Sum and Tensor
    by Martin Hyland, Gordon Plotkin, John Power
    posted to effects lawvere-theories monad-transformers monads by zednenem on 2005-10-05 19:10:06 as **** along with 3 people scis0000001 glaubersp richardlp
  • Comprehending Queries
    (1999)
    by T Grust
    posted to category-theory monads query by zednenem on 2005-07-31 19:14:30 as ** along with 2 people and 1 group mahler AndreasSchropp Rightscom
  • Monadic Parsing in Haskell
    Journal of Functional Programming, Vol. 8, No. 4. (1998)
    by Graham Hutton, Erik Meijer
    posted to haskell monads parsing by zednenem on 2005-08-14 06:19:16 as read along with 6 people and 1 group jrw damaru msakai bunge cognominal namin Lambda the Ultimate
  • A monadic combinator compiler compiler
    (2001)
    by C Camarao, L Figueiredo
    posted to haskell monads parsing by zednenem on 2005-06-24 19:07:11 as ** along with 4 people and 1 group twleung JacquesC JeffreyPalmer tautologico NU-PRL
  • An Introduction to Reflection-Oriented Programming
    (1996)
    by J Sobel, D Friedman
    posted to continuation monads reflection by zednenem on 2005-07-22 21:08:27 as read along with 4 people and 3 groups assnoodles jolilius aufrank neuralwarp NU-PRL TUCS-ES_Lab ur-cls
  • Imperative streams--a monadic combinator library for synchronous programming
    Vol. 34, No. 1. (January 1998), pp. 261-272.
    by Enno Scholz
    posted to concurrency haskell monads by zednenem on 2005-08-26 22:22:02 as **** along with 5 people and 1 group twleung greenrd JeffreyPalmer jrw josefs SRG_at_UCD
  • notes Monads for Incremental Computing - Functional Pearl
    by Magnus Carlsson
    posted to incremental-computing monads by zednenem on 2005-10-26 05:54:13 as read along with 4 people and 2 groups greenrd JeffreyPalmer josefs mahler Rightscom SRG_at_UCD
  • Value Recursion in Monadic Computations
    (2002)
    by L Erkok
    posted to monads by zednenem on 2008-07-12 10:41:27 as read along with 3 people and 1 group dherman glaubersp cognominal NU-PRL
  • Trampolined Style
    (1999), pp. 18-27.
    by Steven E Ganz, Daniel P Friedman, Mitchell Wand
    posted to continuation fp monads trampoline-style by zednenem on 2005-08-04 19:35:00 as ** along with 2 people JeffreyPalmer eblood
  • Mixin modules and computational effects
    (2003)
    by D Ancona, S Fagorzi, E Moggi, E Zucca
    posted to mixins modules monads by zednenem on 2005-07-21 21:13:03 as ***
  • A modal calculus for effect handling
    No. CMU-CS-03-149. (2003)
    by A Nanevski
    posted to effects modal-logic monads by zednenem on 2007-01-02 07:31:39 as ** along with 1 person and 1 group greenrd SRG_at_UCD
  • Monad transformers and modular interpreters
    (1995), pp. 333-343.
    by Sheng Liang, Paul Hudak, Mark Jones
    edited by Ac
    posted to interpreters monad-transformers monads by zednenem on 2005-08-26 22:20:00 as **** along with 9 people and 1 group greenrd JeffreyPalmer tautologico Benja jsala glaubersp conal americovargas pedagand SRG_at_UCD
  • Deriving backtracking monad transformers
    ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197.
    by Ralf Hinze
    posted to backtracking haskell monads monad-transformers by zednenem on 2008-05-31 01:42:18 as read
  • Rolling Your Own Mutable ADT---A Connection Between Linear Types and Monads
    (JanuaryMay--JanuaryJuly 1997), pp. 54-66.
    by Chih-Ping Chen, Paul Hudak
    posted to linear-types monads by zednenem on 2005-06-24 19:19:20 as *** along with 2 people eaubin tautologico
  • The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
    Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458.
    by Martin Hyland, John Power
    posted to category-theory effects lawvere-theories monads by zednenem on 2007-10-11 02:22:10 as read along with 6 people madhadron Scis0000002 vishpool masteraka mmarcus ps_ttf
  • Monadic encapsulation in ML
    Vol. 34, No. 9. (September 1999), pp. 8-17.
    by Miley Semmelroth, Amr Sabry
    posted to call-by-value functional-programming ml monads side-effects strict-evaluation types by voigt on 2005-09-21 10:22:56 as read along with 1 person and 1 group mahler Rightscom
  • Verifying BDD Algorithms through Monadic Interpretation
    Lecture Notes in Computer Science, Vol. 2294 (January 2002), 182.
    by Sava Krstic, John Matthews
    posted to functional-programming induction-proofs monads side-effects theorem-provers verification by voigt on 2005-09-09 12:50:52 as read along with 1 person and 1 group mahler Rightscom
  • The dual of substitution is redecoration
    (2002), pp. 99-110.
    by Tarmo Uustalu, Varmo Vene
    posted to category-theory functional-programming monads types by voigt on 2005-10-20 07:57:37 as ** along with 7 people and 1 group greenrd jrw greg_restall zednenem josefs msakai EdwardKmett SRG_at_UCD
  • On a monadic semantics for freshness
    Theoretical Computer Science, Vol. 342, No. 1. (6 September 2005), pp. 28-55.
    by Mark R Shinwell, Andrew M Pitts
    posted to functional-programming monads nominal-abstract-syntax by voigt on 2005-10-25 12:51:03 as ** along with 1 person and 1 group dherman NU-PRL
  • Monads and Effects
    (2002), pp. 42-122.
    by Nick Benton, John Hughes, Eugenio Moggi
    posted to haskell monads functional-programming side-effects types by voigt on 2005-11-10 10:05:20 as **
  • A core calculus of dependency
    (1999), pp. 147-160.
    by Mart&\#237;n Abadi, Anindya Banerjee, Nevin Heintze, Jon G Riecke
    posted to functional-programming monads types by voigt on 2005-11-30 07:59:13 as ** along with 2 people keigoi bfraser
  • Representing monads
    (1994), pp. 446-457.
    by Andrzej Filinski
    posted to call-by-value continuations functional-programming ml monads side-effects strict-evaluation types by voigt on 2005-09-12 06:19:37 as read along with 4 people and 1 group twleung dherman JacquesC JeffreyPalmer NU-PRL
  • Bridging the gulf: a common intermediate language for ML and Haskell
    (1998), pp. 49-61.
    by Simon Peyton-Jones, Mark Shields, John Launchbury, Andrew Tolmach
    posted to call-by-need call-by-value functional-programming haskell laziness lazy-evaluation ml monads seq side-effects strict-evaluation by voigt on 2005-09-13 08:23:30 as read along with 5 people and 1 group JacquesC JeffreyPalmer rwtodd spl kowey NU-PRL
  • Correctness of monadic state: an imperative call-by-need calculus
    (1998), pp. 62-74.
    by Zena M Ariola, Amr Sabry
    posted to call-by-name call-by-need functional-programming laziness lazy-evaluation monads side-effects types by voigt on 2005-10-28 14:10:26 as read
  • Haskell on a shared-memory multiprocessor
    (2005), pp. 49-61.
    by Tim Harris, Simon Marlow, Simon Peyton-Jones
    posted to compilers functional-programming haskell monads by voigt on 2005-10-06 08:28:15 as ** along with 8 people hamish jrw tautologico msakai neilc benchambers kazuya brecknell
  • Logical Relations for Monadic Types
    (2002), pp. 553-568.
    by Jean Goubault-Larrecq, Slawomir Lasota, David Nowak
    posted to functional-programming logical-relations monads types by voigt on 2005-11-17 13:28:10 as **
  • 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 operating-systems programatica side-effects verification by voigt on 2005-09-28 09:22:49 as read along with 5 people and 1 group pejo hannes mahler mstone pedagand Rightscom
  • Asymptotic Improvement of Computations over Free Monads
    Mathematics of Program Construction, Vol. 5133 (July 2008), pp. 388-403.
    by Janis Voigtländer
    edited by Christine Paulin-Mohring, Philippe Audebaud
    posted to continuations deforestation functional-programming generic-programming haskell monads optimization polymorphism program-transformation rank-2 type-classes types by voigt on 2008-07-28 10:23:57 as read
  • There and back again: arrows for invertible programming
    (2005), pp. 86-97.
    by Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, Rinus Plasmeijer
    posted to arrows functional-programming generic-programming haskell monads by voigt on 2005-10-06 08:34:34 as ** along with 4 people and 2 groups greenrd tautologico mahler mstone Rightscom SRG_at_UCD
  • The Semantic Layers of Timber
    Lecture Notes in Computer Science, Vol. 2895 (January 2003), pp. 339-356.
    by Magnus Carlsson, Johan Nordlander, Dick Kieburtz
    posted to concurrency embedded-systems functional-programming haskell monads objects real-time side-effects by voigt on 2005-09-13 08:26:38 as read along with 1 person pejo
  • Representing layered monads
    (1999), pp. 175-188.
    by Andrzej Filinski
    posted to continuations functional-programming ml monads scheme side-effects types by voigt on 2005-11-02 06:25:37 as ** along with 2 people and 1 group samth JeffreyPalmer NU-PRL
  • Verifying haskell programs using constructive type theory
    (2005), pp. 62-73.
    by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
    posted to dependent-types functional-programming haskell monads theorem-provers types verification by voigt on 2005-10-06 08:30:33 as read along with 4 people and 1 group greenrd p1738j msakai meiersi SRG_at_UCD
  • Building compilers by combining algebras
    Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 331-338.
    by G Kimmell, E Komp, P Alexander
    posted to dsl embedded-systems functional-programming monads verification by voigt on 2005-09-14 07:59:07 as ** along with 3 people and 1 group jrw mahler brturn Rightscom
  • Notions of Computation Determine Monads
    (2002), pp. 342-356.
    by Gordon D Plotkin, John Power
    posted to functional-programming monads by voigt on 2005-11-03 10:07:37 as **
  • The Functional Approach to Data Management: Modeling, Analyzing, and Integrating Heterogeneous Data
    (05 November 2003)
    by Peter MD Gray
    edited by Peter MD Gray, Larry Kerschberg, Peter JH King, Alexandra Poulovassilis
    posted to applications functional-programming monads xml by voigt on 2005-10-07 11:48:00 as ** along with 1 person and 1 group mahler Rightscom
  • Monadic augment and generalised short cut fusion
    (2005), pp. 294-305.
    by Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene
    posted to category-theory functional-programming generic-programming haskell monads optimization polymorphism program-transformation rank-2 shortcut-deforestation type-classes types by voigt on 2005-09-28 09:56:19 as read along with 2 people msakai wtribbey
  • Backtracking, interleaving, and terminating monad transformers: (functional pearl)
    (2005), pp. 192-203.
    by Oleg Kiselyov, Chung-Chieh Shan, Daniel P Friedman, Amr Sabry
    posted to continuations functional-programming haskell monads by voigt on 2005-09-28 09:39:20 as ** along with 4 people and 2 groups greenrd mahler msakai AndreasSchropp Rightscom SRG_at_UCD
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/monads

    Result page: 1 2 3 4 Next 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.