Tag monads [at least 200 articles] Export

Recent papers classified by the tag monads.

	Monadic Presentations of Lambda Terms Using Generalized Inductive Types [My Copy] Computer Science Logic (2009), pp. 825-825. by Thorsten Altenkirch, Bernhard Reus posted to types monads kleisli-structures by pedagand on 2009-11-05 15:47:57 as
	Lazy Functional State Threads [My Copy] In PLDI 1994, Vol. 29, No. 6. (June 1994), pp. 24-35. by John Launchbury, Simon L. Peyton Jones posted to rank-2-polymorphism parametric-polymorphism non-strict-evaluation mutability monads haskell concurrency by spl on 2009-11-03 17:28:53 as along with 7 people and 2 groups fvogels draganigajic twleung dherman greenrd tautologico pedagand NU-PRL SRG_at_UCD
	Monadic Parser Combinators [My Copy] No. NOTTCS-TR-96-4. (1996) by Graham Hutton, Erik Meijer posted to monads by puzza on 2009-10-21 09:55:17 as along with 8 people and 2 groups twleung eaubin JacquesC JeffreyPalmer jrw roi joelh mcclurmc NU-PRL Lambda the Ultimate
	Generalising monads to arrows [My Copy] Sci. Comput. Program., Vol. 37, No. 1-3. (2000), pp. 67-111. by John Hughes posted to monads arrows by puzza on 2009-10-19 14:40:12 as along with 7 people eaubin jrw cedricboidin tautologico jharai conal cognominal
	A Monadic Categorical Semantics for Threads [My Copy] by Jonathan Sobel, Steven E. Ganz, Daniel P. Friedman, Mitchell Wand posted to monads by puzza on 2009-10-19 14:39:39 as along with 9 people and 1 group dalev jrw zednenem bfraser dmitri83 EdwardKmett jsala neuralwarp ps_ttf NU-PRL
	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 monads by puzza on 2009-10-19 14:39:09 as along with 2 people spl keigoi
	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 monads by puzza on 2009-10-19 14:38:44 as along with 31 people and 2 groups mahler 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 benchambers kazuya hayeah mmarcus donniejones18 SRG_at_UCD pileWorks
	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 symmetric_monoidal monads closed_categories by christiankissig on 2009-10-06 17:25:41 as along with 1 person TooMuchCoffeeMan
	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
	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 monads functional_programming by bfraser on 2009-09-21 19:52:58 as
	Abstract Predicates and Mutable ADTs in Hoare Type Theory [My Copy] Programming Languages and Systems (2007), pp. 189-204. by Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal posted to separation-logic refinement-types monads hoare-type-theory dependent-types by neelk on 2009-09-01 00:30:31 as along with 1 group ConcertRG
	Transactional events [My Copy] SIGPLAN Not., Vol. 41, No. 9. (September 2006), pp. 124-135. by Kevin Donnelly, Matthew Fluet posted to concurrency monads transactions by robertjohnsimmons on 2009-07-24 00:41:22 as along with 1 person AndreasSchropp
	Computational lambda-calculus and monads [My Copy] In Proceedings of the Fourth Annual Symposium on Logic in computer science (1989), pp. 14-23. by E. Moggi posted to commutative_monads monad_strength monads by christiankissig on 2009-07-19 19:34:34 as along with 1 person mstone
	A Basic Distributive Law [My Copy] Journal of Pure and Applied Algebra, Vol. 168 (0), pp. 209-226. by F. Marmolejo, R. D. Rosebrugh, R. J. Wood posted to distributive_laws monads by christiankissig on 2009-07-13 08:56:06 as
	A monadic approach to polycategories [My Copy] Electronic Notes in Theoretical Computer Science In CTCS'02, Category Theory and Computer Science, Vol. 69 (February 2003), pp. 183-208. by J. Koslowski posted to distributive_laws monads by christiankissig on 2009-07-13 08:53:07 as along with 1 person masteraka
	How Algebraic is Algebra? [My Copy] (0) by J. Adámek, J. Ad Amek, F. W. Lawvere, J. Rosicky posted to distributive_laws monads by christiankissig on 2009-07-13 08:52:04 as
	Combining Monads [My Copy] In Proceedings of the 1992 Glasgow Workshop on Functional Programming (1993), pp. 134-143. by David J. King, Philip Wadler posted to monads by christiankissig on 2009-07-12 12:17:27 as along with 2 people bulwahn pile
	Composing monads using coproducts [My Copy] SIGPLAN Not. In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 133-144. by Christoph Lüth, Neil Ghani posted to monads by christiankissig on 2009-07-12 12:14:39 as along with 4 people and 2 groups bulwahn mstone rgb pedagand pileWorks Lambda the Ultimate
	How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages [My Copy] Functional Programming Languages and Computer Architecture (1985), pp. 113-128. by Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:52:08 as along with 2 people spl michaelbanks
	Comprehending Monads [My Copy] In Mathematical Structures in Computer Science, Vol. 2 (1992), pp. 61-78. by Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:40:39 as along with 1 person fvogels
	The Essence of Functional Programming [My Copy] (1992), pp. 1-14. by Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:37:37 as
	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 functional_programming monads by bulwahn on 2009-07-08 10:27:23 as along with 7 people and 1 group eaubin JacquesC rwtodd cedricboidin oliverh bfraser pile NU-PRL
	Composing Monads [My Copy] (1993) by Mark P. Jones, Luc Duponcheel posted to functional_programming monads by bulwahn on 2009-07-08 10:23:51 as
	Monad compositions ii: Kleisli strength [My Copy] Mathematical. Structures in Comp. Sci., Vol. 18, No. 3. (2008), pp. 613-643. by Ernie Manes, Philip Mulry posted to distributive_laws examples_functors examples_monads monads by christiankissig on 2009-07-02 17:52:17 as
	Algebras, Coalgebras, Monads and Comonads [My Copy] Electronic Notes in Theoretical Computer Science In CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001), Vol. 44, No. 1. (May 2001), pp. 1-18. by Neil Ghani, Christoph Luth, Federico de Marchi, John Power posted to algebra coalgebra comonads monads by christiankissig on 2009-06-21 19:26:50 as along with 1 person mstone
	Monads on Tensor Categories [My Copy] J. Pure Appl. Algebra, Vol. 168 (2002), pp. 189-208. by I. Moerdijk posted to hopf_monads monads monoidal_categories tensor_categories by christiankissig on 2009-06-18 12:34:14 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-programming monads by jimburton on 2009-06-11 15:24:30 as along with 22 people and 4 groups jweslley 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
	Synthesizing object-oriented and functional design to promote re-use [My Copy] In In European Conference on Object-Oriented Programming, Vol. 1445 (1998), pp. 91-113. by Shriram Krishnamurthi, Matthias Felleisen, Daniel posted to monads oop programming-language-design by mcclurmc on 2009-06-04 22:18:51 as
	Representing Layered Monads [My Copy] In Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Programming Languages (1999), pp. 175-188. by Andrzej Filinski posted to effects monads semantics by mcclurmc on 2009-06-04 22:17:41 as
	Modular Denotational Semantics for Compiler Construction [My Copy] In In European Symposium on Programming, Vol. 1058 (1996), pp. 219-234. by Sheng Liang, Paul Hudak posted to compilers dsl monad-transformers monads by mcclurmc on 2009-06-04 22:10:22 as
	Combining Computational Effects: commutativity & sum [My Copy] In TCS '02: Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (2002), pp. 474-484. by Martin Hyland, Gordon D. Plotkin, John Power posted to lawvere_theories monads by christiankissig on 2009-05-18 12:04:32 as along with 1 person pile
	Computational Effects and Operations: An Overview [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on Domains VI, Vol. 73 (25 October 2004), pp. 149-163. by Gordon Plotkin, John Power posted to computational_effects lawvere_theories monads by christiankissig on 2009-05-18 12:03:27 as along with 1 person Scis0000002
	Countable Lawvere Theories and Computational Effects [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 161 (31 August 2006), pp. 59-71. by J. Power posted to lawvere_theories monads by christiankissig on 2009-05-18 12:01:50 as
	Discrete Lawvere theories and computational effects [My Copy] Theor. Comput. Sci., Vol. 366, No. 1. (2006), pp. 144-162. by Martin Hyland, John Power posted to category_theory lawvere_theories monads by christiankissig on 2009-05-16 10:43:48 as
	The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458. by Martin Hyland, John Power posted to category_theory lawvere_theories monads universal_algebra by christiankissig on 2009-05-16 10:40:34 as along with 7 people zednenem madhadron Scis0000002 vishpool masteraka mmarcus ps_ttf
	Codata and Comonads in Haskell [My Copy] (1999) by Richard B. Kieburtz posted to abstract-datatypes codata comonads haskell input-output monads streams by spl on 2009-04-01 12:35:00 as along with 1 person michiexile
	Computational Types from a Logical Perspective [My Copy] Journal of Functional Programming, Vol. 8, No. 2. (1998), pp. 177-193. by P. N. Benton, Gavin Bierman, Valeria de Paiva posted to lambda-calculi modal-logic monads by kozima on 2009-03-30 03:55:10 as along with 2 people vcvpaiva jsala
	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 lambda-calculi monads by kozima on 2009-03-29 07:39:30 as along with 10 people and 1 group pedagand JeffreyPalmer voigt msakai bonotake dmitri83 aleks EdwardKmett Benja mcclurmc Compilers
	Notions of computation and monads [My Copy] Inf. Comput., Vol. 93, No. 1. (July 1991), pp. 55-92. by Eugenio Moggi posted to category monads by kozima on 2009-03-28 03:21:15 as along with 4 people and 1 group robotact spl varming bfraser ConcertRG
	The Essence of Multitasking [My Copy] Algebraic Methodology and Software Technology (2006), pp. 158-172. by William Harrison posted to operating-system formalization language-haskell monads by pedagand on 2009-03-25 14:52:47 as
	Secure Microkernels, State Monads and Scalable Refinement [My Copy] Theorem Proving in Higher Order Logics (2008), pp. 167-182. by David Cock, Gerwin Klein, Thomas Sewell posted to operating-system formal-proof monads software-verification by pedagand on 2009-03-15 09:22:46 as
	From Comodels to Coalgebras: State and Arrays [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 106 (11 December 2004), pp. 297-314. by J. Power, O. Shkaravska posted to categories coalgebras lawvere monads by oryp6518 on 2009-02-20 19:13:37 as
	Lightweight monadic regions [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 1-12. by Oleg Kiselyov, Chung C. Shan posted to functional-programming language-haskell monadic-region monads by pedagand on 2009-02-18 09:58:09 as
	Monadic regions [My Copy] J. Funct. Program., Vol. 16, No. 4-5. (2006), pp. 485-545. by Matthew Fluet, Greg Morrisett posted to functional-programming language-haskell monadic-region monads types by pedagand on 2009-02-18 09:56:51 as
	Monadic encapsulation of effects: a revised approach (extended version) [My Copy] J. Funct. Program., Vol. 11, No. 6. (2001), pp. 591-627. by E. Moggi, Amr Sabry posted to effect functional-programming language-haskell monads by pedagand on 2009-02-12 23:26:33 as
	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 functional-programming language-haskell monads stateful-computation by pedagand on 2009-02-12 23:23:11 as along with 1 person bfraser
	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 functional-programming 1992 haskell monads programming by michaelbanks on 2009-01-22 12:37:57 as along with 21 people and 3 groups jimburton TobiasAbenius leonardo olegus keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya mstone calvins hayeah frej NU-PRL GroupLens SRL
	Asymptotic Improvement of Computations over Free Monads [My Copy] Mathematics of Program Construction (2008), pp. 388-403. by Janis Voigtländer posted to haskell monads by Benja on 2009-01-02 00:31:03 as along with 1 person voigt
	Applicative programming with effects [My Copy] Journal of Functional Programming, Vol. 18, No. 01. (16 May 2007), pp. 1-13. by Conor Mcbride, Ross Paterson posted to applicative-functors arrows functors haskell monads by spl on 2008-11-28 15:59:54 as along with 3 people americovargas fgeller jpbernardy
	Representing monads [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457. by Andrzej Filinski posted to continuations effects monads shift-and-reset by noam_zeilberger on 2008-11-17 19:23:41 as along with 7 people and 1 group bhoward amp269 twleung dherman JacquesC JeffreyPalmer voigt NU-PRL

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

Result page: 1 2 3 4 5 Next

haskell	111
functional-programming	62
category-theory	37
effects	26
types	22
concurrency	21
lambda-calculus	20
continuations	18
functional	17
side-effects	16
language-haskell	15
semantics	15
arrows	14
compilers	14
interpreters	14
category	12
monad-transformers	11
programming	11
comonads	10
dsl	10
linear-types	10
functional_programming	9
staged-programming	9
staging	9
probability	8
linear-logic	7
adt	6
linearity	6
backtracking	5
compiler	5
coproducts	5
cps	5
lawvere_theories	5
algebras	4
category_theory	4
closure-structures	4
combinator	4
distributive_laws	4
fp	4
functional-state	4
lawvere-theories	4
lecture-cs-252r	4
ml	4
multi-stage-languages	4
oop	4
optimization	4
partial-evaluation	4
theory	4
typeclasses	4
verification	4
call-by-value	3
clean	3
coalgebras	3
combinators	3
contexts	3
continuation	3
for-matt	3
games	3
generic-programming	3
incremental	3
input-output	3
lambda-calculi	3
language-implementation	3
lazy-evaluation	3
modal-logic	3
operating-system	3
operating-systems	3
os	3
parametricity	3
parsers	3
parsing	3
polymorphism	3
program-transformation	3
recursion	3
strict-evaluation	3
value-recursion	3
xml	3
algebra	2
arrow	2
bidirectional	2
call-by-need	2
cfa	2
embedded-systems	2
formal-proof	2
functional-logic	2
futamura-projection	2
higher-rank-polymorphism	2
imperative-programming	2
io	2
logic-programming	2
lueth_02_composing-root	2
modules	2
programming-languages	2
pure	2
reflection	2
rewriting	2
staged	2
theorem-provers	2
transactions	2
tutorial	2

Tag monads [at least 200 articles] Export

Related Tags