Tag monad [48 articles] Export

Recent papers classified by the tag monad.

	Confessions of a used programming language salesman [My Copy] ACM SIGPLAN Notices In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications, Vol. 42, No. 10. (21 October 2007), pp. 677-694. by Erik Meijer posted to xml monad microsoft linq haskell by bfraser on 2009-11-07 01:29:54 as along with 3 people ama08r RalfMitschke mmakowski
	A poor man's concurrency monad [My Copy] J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323. by Koen Claessen posted to monad concurrency by jcreed on 2009-10-23 14:33:59 as along with 5 people and 2 groups draganigajic dalev keigoi janschaefer pedagand NU-PRL TU-KL-SoftwareTechnologyGroup
	State in Haskell [My Copy] LISP and Symbolic Computation, Vol. 8, No. 4. (1 December 1995), pp. 293-341. by John Launchbury, Simon L. Peyton Jones posted to state monad haskell by bfraser on 2009-10-07 19:39:45 as along with 1 person pedagand
	On the relation of aspects and monads [My Copy] In FOAL '07: Proceedings of the 6th workshop on Foundations of aspect-oriented languages (2007), pp. 27-33. by Christian Hofer, Klaus Ostermann posted to monads monad aspect by bfraser on 2009-09-22 15:19:51 as
	Monadic Parser Combinators [My Copy] No. NOTTCS-TR-96-4. (1996) by Graham Hutton, Erik Meijer posted to combinator monad parser by jweslley on 2009-06-30 14:18:02 as along with 5 people and 1 group LeonSmith rahul croys cdiggins americovargas SRL
	Representing monads [My Copy] In Proceedings of the Twenty-First Annual ACM Symposium on Principles of Programming Languages (1994), pp. 446-457. by Andrzej Filinski posted to monad nondeterminism pl by ghulette on 2009-04-09 23:30:56 as
	Monads for functional programming [My Copy] In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993) by Philip Wadler edited by ~broy posted to functional monad programming by jweslley on 2009-03-31 17:22:54 as along with 22 people and 4 groups jimburton draganigajic JeffreyPalmer cedricboidin 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
	Notions of computation and monads [My Copy] Inf. Comput., Vol. 93, No. 1. (July 1991), pp. 55-92. by Eugenio Moggi posted to calculus computational denotational effects lambda monad nondeterminism principle relational by varming on 2009-02-07 00:38:42 as along with 4 people and 1 group robotact kozima spl bfraser ConcertRG
	Substitution in non-wellfounded syntax with variable binding [My Copy] Theoretical Computer Science, Vol. 327, No. 1-2. (25 October 2004), pp. 155-174. by R. Matthes, T. Uustalu posted to coalgebra monad by msakai on 2008-12-21 03:24:53 as
	The essence of functional programming [My Copy] In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14. by Philip Wadler posted to functionalprogramming monad by keigoi on 2008-12-08 07:30:37 as along with 21 people and 3 groups jimburton TobiasAbenius leonardo michaelbanks olegus pedagand draganigajic assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya mstone calvins hayeah frej NU-PRL GroupLens SRL
	Comprehending monads [My Copy] In LFP '90: Proceedings of the 1990 ACM conference on LISP and functional programming (1990), pp. 61-78. by Philip Wadler posted to haskell monad by bfraser on 2008-09-26 19:09:23 as along with 2 people spl keigoi
	Monads for Functional Programming [My Copy] In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (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 along with 3 people and 1 group gakincho draganigajic mcclurmc functional programming
	Stochastic lambda calculus and monads of probability distributions [My Copy] 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 interpolads in bicategories [My Copy] Theory Appl. Categ., Vol. 3 (1997), pp. No.\ 8, 182-212 (electronic). by Jürgen Koslowski posted to bicategory _copy monad relation by adrian_pigors on 2008-02-04 14:38:25 as
	Galois connections presented calculationally [My Copy] (1992) by C. J. Aarts posted to calculational chu-spaces closure-structures closure-systems monad monads by Scis0000002 on 2008-01-13 17:17:00 as along with 4 people pirapira ansobol jrw scis0000001
	Monads and Modular Term Rewriting [My Copy] In Category Theory and Computer Science (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
	Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell [My Copy] by Simon P. Jones posted to concurrency functional-programming haskell monad by kazuya on 2007-10-24 16:47:29 as along with 8 people MartinSchuerrer ancechu dsilva calvins vlasovskikh serebryakov cognominal benchambers
	A Semi-monad for Semi-structured Data [My Copy] In ICDT '01: Proceedings of the 8th International Conference on Database Theory (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 along with 1 person gerold
	Monads on symmetric monoidal closed categories [My Copy] 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 christiankissig
	Monad transformers and modular interpreters [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones posted to monad programming by bfraser on 2007-07-09 19:32:23 as along with 7 people and 1 group bulwahn eaubin JacquesC rwtodd cedricboidin oliverh pile NU-PRL
	Generalising monads to arrows [My Copy] 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 7 people puzza eaubin jrw cedricboidin tautologico conal cognominal
	A Monadic Categorical Semantics for Threads [My Copy] by Jonathan Sobel, Steven E. Ganz, Daniel P. Friedman, Mitchell Wand posted to category_theory monad threads by bfraser on 2007-05-30 21:39:48 as along with 9 people and 1 group puzza dalev jrw zednenem dmitri83 EdwardKmett jsala neuralwarp ps_ttf NU-PRL
	Comprehending Monads [My Copy] In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78. by P. L. Wadler posted to category_theory fp list monad by bfraser on 2007-05-30 21:35:48 as along with 31 people and 2 groups mahler puzza hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem 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
	Monadification of functional programs [My Copy] Science of Computer Programming In Special Issue on Program Transformation, 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 along with 2 people puzza spl
	Imperative Functional Programming [My Copy] In Conference record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina (1993), pp. 71-84. by S. L. P. Simon, Philip Wadler posted to foreign-function-interface functional-programming io monad types by lomeo on 2007-03-21 13:38:13 as along with 7 people and 1 group samth jacob cedricboidin pintman pile jwm0123 glaubersp NU-PRL
	Merging Monads and Folds for Functional Programming [My Copy] In Tutorial Text 1st Int.\ Spring School on Advanced Functional Programming Techniques, B\aastad, Sweden, 24--30 May 1995, 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 along with 1 person americovargas
	Relating Models of Backtracking [My Copy] by Mitchell W. Dale posted to backtracking monad search by kapayama on 2007-03-19 02:18:12 as
	Comprehending Queries [My Copy] (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
	Modules over monads and the structure of untyped lambda-calculi [My Copy] (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 along with 2 people and 1 group jrw rgb pileWorks
	Pontryagin-van Kampen reflexivity for free abelian topological groups [My Copy] 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
	Leibniz's Definition of Monad [My Copy] (12 Aug 2006) by S. S. Kutateladze posted to history monad nonstandard-analysis by ansobol on 2006-08-19 17:23:16 as along with 3 people jrw proportional mmarcus
	The dual of substitution is redecoration [My Copy] (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
	Building compilers by combining algebras [My Copy] 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 along with 3 people and 1 group jrw voigt mahler Rightscom
	Hopf monads [My Copy] (8 Apr 2006) by Alain Bruguières, Alexis Virelizier posted to autonomous hopf monad by craig on 2006-04-12 02:12:05 as
	Computational lambda-calculus and monads [My Copy] 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 10 people and 1 group kozima pedagand JeffreyPalmer voigt msakai dmitri83 aleks EdwardKmett Benja mcclurmc Compilers
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted to monad by bonotake on 2006-02-05 15:19:37 as along with 7 people and 2 groups dherman JacquesC greenrd cedricboidin zednenem msakai mcclurmc NU-PRL SRG_at_UCD
	Quantified functional analysis and seminormed spaces: A dual adjunction [My Copy] 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 [My Copy] 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
	Lipschitz-free Banach spaces [My Copy] Studia Math., Vol. 159, No. 1. (2003), pp. 121-141. by G. Godefroy, N. J. Kalton posted to bsp cat-th-bsp coho lipschitz monad by TooMuchCoffeeMan on 2006-02-01 19:30:11 as
	Notions of Computation Determine Monads [My Copy] In Foundations of Software Science and Computation Structure (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 7 people and 2 groups noam_zeilberger greenrd JeffreyPalmer zednenem mahler mstone glaubersp Rightscom SRG_at_UCD
	Generic unification via two-level types and parameterized modules [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 86-97. by Tim Sheard posted to generic-programming haskell monad two-level-types unification by dalev on 2005-08-02 16:20:41 as along with 3 people and 1 group draganigajic dherman pedagand NU-PRL
	A generic account of continuation-passing styles [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 458-471. by John Hatcliff, Olivier Danvy posted to administrative-reductions cps monad monadic-normal-form by dalev on 2005-08-02 04:21:19 as along with 1 person and 1 group dsilva NU-PRL
	The marriage of effects and monads [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, 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
	Monads for incremental computing [My Copy] In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, 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 [My Copy] In Proceedings 4th Annual IEEE Symp.\ on Logic in Computer Science, LICS'89, Pacific Grove, CA, USA, 5--8 June 1989 (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
	Building interpreters by composing monads [My Copy] In Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Portland, Oregon, January 17--21, 1994 (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
	Imperative functional programming [My Copy] In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 71-84. by S. L. P. Simon, Philip Wadler posted to haskell monad by cedricboidin on 2005-03-11 13:09:24 as along with 2 people and 1 group samth robennals NU-PRL
	A new notation for arrows [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, 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 along with 8 people and 1 group draganigajic eaubin rwtodd jrw tautologico jolilius cognominal pedagand TUCS-ES_Lab

Note: You may cite this page as: http://www.citeulike.org/tag/monad

haskell	16
concurrency	4
functional	4
alg-theories	3
category-theory	3
fonctional	3
fp	3
functional-programming	3
administrative-reductions	2
calculus	2
cat-th-bsp	2
category	2
category_theory	2
cps	2
functionalprogramming	2
generic-programming	2
lambda	2
language	2
module	2
monadic-normal-form	2
monads	2
nondeterminism	2
parser	2
programming	2
thread	2
two-level-types	2
unification	2
xml	2
_copy	1
arens_prod	1
aspect	1
autonomous	1
backtracking	1
bicategory	1
bsp	1
calculational	1
chu-spaces	1
closure-structures	1
closure-systems	1
coalgebra	1
coho	1
combinator	1
comonad	1
compiler	1
comprehensions	1
computational	1
denotational	1
derivative	1
effects	1
folding	1
foreign-function-interface	1
fourier	1
higher-order-functions	1
history	1
hopf	1
icdt	1
imperative	1
io	1
linq	1
lipschitz	1
list	1
microsoft	1
modularity	1
monoidal-cat	1
nonstandard-analysis	1
pl	1
principle	1
printed	1
probability	1
queries	1
rating-5	1
relation	1
relational	1
search	1
semantics	1
state	1
static	1
theory	1
threads	1
tree	1
types	1
untyped	1
xquery	1

Tag monad [48 articles] Export

Related Tags