registrieren | anmelden | FAQ      [?] 

Tag monad [41 articles]

Recent papers classified by the tag monad.
  • Monads for Functional Programming
    (1995), pp. 24-52.
    by Philip Wadler
    posted to functional haskell language monad parser rating-5 by vlasovskikh on 2008-04-28 21:35:10 as read along with 2 people and 1 group draganigajic mcclurmc functional programming
  • Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
    by Simon P Jones
    posted to functional haskell language monad by vlasovskikh on 2007-10-17 21:52:38 as ** along with 7 people ancechu dsilva calvins serebryakov cognominal benchambers kazuya
  • Quantified functional analysis and seminormed spaces: A dual adjunction
    Journal of Pure and Applied Algebra, Vol. In Press, Corrected Proof
    by M Sioen, S Verwulgen
    posted to alg-theories cat-th-bsp monad by TooMuchCoffeeMan on 2006-02-02 18:34:13 as **
  • General functorial semantics. I
    Amer. J. Math., Vol. 94 (1972), pp. 535-596.
    by John R Isbell
    posted to alg-theories monad by TooMuchCoffeeMan on 2006-02-01 21:30:50 as **
  • Pontryagin-van Kampen reflexivity for free abelian topological groups
    Forum Math., Vol. 11, No. 4. (1999), pp. 399-415.
    by Jorge Galindo, Salvador Hernández
    posted to alg-theories fourier monad by TooMuchCoffeeMan on 2006-09-11 15:56:43 as **
  • Monads on symmetric monoidal closed categories
    Archiv der Mathematik, Vol. 21, No. 1. (1 December 1970), pp. 1-10.
    by Anders Kock
    posted to arens_prod monad monoidal-cat printed by TooMuchCoffeeMan on 2007-07-17 18:20:10 as **** along with 1 person rhgg2
  • Lipschitz-free Banach spaces
    Studia Math., Vol. 159, No. 1. (2003), pp. 121-141.
    by G Godefroy, NJ Kalton
    posted to bsp cat-th-bsp coho lipschitz monad by TooMuchCoffeeMan on 2006-02-01 19:30:11 as ****
  • Galois connections presented calculationally
    (1992)
    by CJ Aarts
    posted to calculational chu-spaces closure-structures closure-systems monad monads by Scis0000002 on 2008-01-13 17:17:00 as ** along with 3 people ansobol jrw scis0000001
  • Comprehending Monads
    (1990), pp. 61-78.
    by PL Wadler
    posted to category monad theory by rwtodd on 2005-03-03 05:10:33 as ** along with 29 people and 2 groups hellige rgrig JeffreyPalmer Darius jrw creswick cedricboidin zednenem 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
  • Stochastic lambda calculus and monads of probability distributions
    SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 154-165.
    by Norman Ramsey, Avi Pfeffer
    posted to monad probability by robdockins on 2008-04-20 22:01:54 as **
  • Monads and Modular Term Rewriting
    (1997), pp. 69-86.
    by Christoph Lueth, Neil Ghani
    posted to modularity monad by radico on 2007-12-09 08:02:54 as ** along with 1 person glaubersp
  • A Semi-monad for Semi-structured Data
    (2001), pp. 263-300.
    by Mary F Fernandez, Jérôme Siméon, Philip Wadler
    posted to fp icdt monad xml xquery by myui on 2007-09-03 19:58:17 as ***
  • Imperative Functional Programming
    (1993), pp. 71-84.
    by SLP Simon, Philip Wadler
    posted to foreign-function-interface functional-programming io monad types by lomeo on 2007-03-21 13:38:13 as read along with 7 people and 1 group samth jacob cedricboidin pintman pile jwm0123 glaubersp NU-PRL
  • Merging Monads and Folds for Functional Programming
    Vol. 925 (1995), pp. 228-266.
    by Erik Meijer, Johan Jeuring
    edited by J Jeuring, E Meijer
    posted to folding functional-programming haskell higher-order-functions monad by lomeo on 2007-03-21 13:04:44 as read along with 1 person americovargas
  • Monadification of functional programs
    Science of Computer Programming, Vol. 52, No. 1-3. (August 2004), pp. 101-129.
    by Martin Erwig, Deling Ren
    posted to haskell monad by keigoi on 2007-05-03 06:43:06 as **
  • Comprehending monads
    (1990), pp. 61-78.
    by Philip Wadler
    posted to functionalprogramming monad by keigoi on 2008-07-08 18:51:54 as ** along with 2 people bfraser spl
  • Relating Models of Backtracking
    by Mitchell W Dale
    posted to backtracking monad search by kapayama on 2007-03-19 02:18:12 as ***
  • Generalising monads to arrows
    Sci. Comput. Program., Vol. 37, No. 1-3. (2000), pp. 67-111.
    by John Hughes
    posted to haskell monad by jharai on 2007-07-06 23:55:58 as *** along with 6 people eaubin jrw cedricboidin tautologico conal cognominal
  • A generic account of continuation-passing styles
    (1994), pp. 458-471.
    by John Hatcliff, Olivier Danvy
    posted to administrative-reductions cps monad monadic-normal-form by dalev to the group NU-PRL on 2005-08-02 04:21:19 as read along with 1 person dsilva
  • Generic unification via two-level types and parameterized modules
    Vol. 36, No. 10. (October 2001), pp. 86-97.
    by Tim Sheard
    posted to generic-programming haskell monad two-level-types unification by dalev to the group NU-PRL on 2005-08-02 16:20:41 as *** along with 3 people draganigajic dherman pedagand
  • A Monadic Categorical Semantics for Threads
    by Jonathan Sobel, Steven E Ganz, Daniel P Friedman, Mitchell Wand
    posted to category-theory monad thread by dalev to the group NU-PRL on 2005-08-04 18:46:05 as *** along with 8 people jrw zednenem bfraser dmitri83 EdwardKmett jsala neuralwarp ps_ttf
  • A poor man's concurrency monad
    J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323.
    by Koen Claessen
    posted to concurrency haskell monad by dalev to the group NU-PRL on 2005-08-02 04:07:16 as read along with 4 people and 1 group draganigajic keigoi janschaefer pedagand TU-KL-SoftwareTechnologyGroup
  • The dual of substitution is redecoration
    (2002), pp. 99-110.
    by Tarmo Uustalu, Varmo Vene
    posted to category comonad monad tree by greg_restall on 2006-08-18 14:03:58 as ** along with 7 people and 1 group greenrd jrw zednenem josefs voigt msakai EdwardKmett SRG_at_UCD
  • Hopf monads
    (8 Apr 2006)
    by Alain Bruguières, Alexis Virelizier
    posted to autonomous hopf monad by craig on 2006-04-12 02:12:05 as **
  • Codata and Comonads in Haskell
    (1999)
    by Richard Kieburtz
    posted to haskell monad by cedricboidin on 2005-07-05 17:53:40 as **** along with 7 people and 2 groups dherman JacquesC greenrd zednenem msakai bonotake mcclurmc NU-PRL SRG_at_UCD
  • Monads for functional programming
    (1993)
    by Philip Wadler
    edited by ~broy
    posted to fonctional monad by cedricboidin on 2005-03-25 08:37:29 as ** along with 20 people and 4 groups draganigajic JeffreyPalmer grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels cdiggins hayeah SamB mmarcus americovargas namin pedagand SRL SIG functional programming Lambda the Ultimate
  • Monad transformers and modular interpreters
    (1995), pp. 333-343.
    by Sheng Liang, Paul Hudak, Mark Jones
    posted to monad by cedricboidin on 2005-04-08 09:15:27 as *** along with 6 people and 1 group eaubin JacquesC rwtodd oliverh bfraser pile NU-PRL
  • A new notation for arrows
    Vol. 36, No. 10. (October 2001), pp. 229-240.
    by Ross Paterson
    posted to monad by cedricboidin on 2005-03-11 12:56:07 as read along with 8 people and 1 group draganigajic eaubin rwtodd jrw tautologico jolilius cognominal pedagand TUCS-ES_Lab
  • Building interpreters by composing monads
    (1994), pp. 472-492.
    by Guy Steele
    edited by Ac
    posted to haskell monad by cedricboidin on 2005-03-25 08:30:55 as ** along with 5 people and 1 group JacquesC rwtodd bunge Benja glaubersp NU-PRL
  • Notions of Computation Determine Monads
    (2002), pp. 342-356.
    by Gordon D Plotkin, John Power
    posted to monad by cedricboidin on 2006-01-10 07:35:25 as *** along with 6 people and 2 groups greenrd JeffreyPalmer zednenem mahler mstone glaubersp Rightscom SRG_at_UCD
  • The marriage of effects and monads
    Vol. 34, No. 1. (January 1998), pp. 63-74.
    by Philip Wadler
    posted to monad by cedricboidin on 2005-07-05 17:36:32 as ** along with 6 people and 1 group sourada twleung dherman tautologico ben_moseley scis0000001 NU-PRL
  • Imperative functional programming
    (1993), pp. 71-84.
    by SLP Simon, Philip Wadler
    posted to haskell monad by cedricboidin on 2005-03-11 13:09:24 as read along with 2 people and 1 group samth robennals NU-PRL
  • Monads for incremental computing
    Vol. 37, No. 9. (September 2002), pp. 26-35.
    by Magnus Carlsson
    posted to monad by cedricboidin on 2005-06-06 08:48:08 as **
  • Computational Lambda-Calculus and Monads
    (1989), pp. 14-23.
    by Eugenio Moggi
    posted to fonctional monad by cedricboidin on 2005-03-25 08:39:45 as ** along with 7 people and 1 group jrw tautologico pile glaubersp mfrydr ds mmarcus complogic
  • notes 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 compiler functional module monad semantics static by brturn on 2006-08-04 22:23:38 as read along with 3 people and 1 group jrw voigt mahler Rightscom
  • Computational lambda-calculus and monads
    Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
    by E Moggi
    posted to category-theory monad by bonotake on 2006-02-05 16:26:31 as ** along with 8 people and 1 group JeffreyPalmer voigt msakai dmitri83 aleks EdwardKmett Benja mcclurmc Compilers
  • Modules over monads and the structure of untyped lambda-calculi
    (11 Aug 2006)
    by André Hirschowitz, Marco Maggesi
    posted to calculus derivative lambda module monad untyped by bhoward on 2006-09-13 14:53:20 as read along with 2 people and 1 group jrw rgb pileWorks
  • Notions of computation and monads
    Inf. Comput., Vol. 93, No. 1. (July 1991), pp. 55-92.
    by Eugenio Moggi
    posted to fp monad by bfraser on 2007-05-18 22:57:22 as **
  • Leibniz's Definition of Monad
    (12 Aug 2006)
    by SS Kutateladze
    posted to history monad nonstandard-analysis by ansobol on 2006-08-19 17:23:16 as ** along with 3 people jrw proportional mmarcus
  • Comprehending Queries
    (1999)
    by T Grust
    posted to queries monad comprehensions by AndreasSchropp on 2007-01-31 21:55:24 as **** along with 2 people and 1 group zednenem mahler Rightscom
  • Monads and interpolads in bicategories
    Theory Appl. Categ., Vol. 3 (1997), pp. No.\ 8, 182-212 (electronic).
    by Jürgen Koslowski
    posted to bicategory _copy _file monad relation by adrian_pigors on 2008-02-04 14:38:25 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/monad

    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.