zednenem's monads [34 articles] Export

Recent papers added to zednenem's library classified by the tag monads. You can also see everyone's monads.

	Lazy Functional State Threads [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 24-35. by John Launchbury, Simon posted to haskell lazy-evaluation monads by zednenem on 2008-07-28 06:25:10 as
	Value Recursion in Monadic Computations [My Copy] (2002) by L. Erkok posted to monads by zednenem on 2008-07-12 10:41:27 as along with 3 people and 1 group dherman glaubersp cognominal NU-PRL
	Deriving backtracking monad transformers [My Copy] 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
	Combining a Monad and a Comonad [My Copy] 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 2 people draganigajic sclv
	Adequacy for Algebraic Effects [My Copy] 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
	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 effects lawvere-theories monads by zednenem on 2007-10-11 02:22:10 as along with 7 people christiankissig madhadron Scis0000002 vishpool masteraka mmarcus ps_ttf
	An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming [My Copy] by Jonathan M. D. Hill, Keith Clarke posted to category-theory fp haskell monads by zednenem on 2007-03-28 02:36:39 as along with 11 people and 1 group pirapira algorithmic draganigajic ansobol jrw proportional jutaro glaubersp mathcoq ps_ttf namin Lambda the Ultimate
	A modal calculus for effect handling [My Copy] 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 2 people and 1 group Scis0000002 greenrd SRG_at_UCD
	Arrows, like Monads, are Monoids [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), 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 along with 6 people and 1 group christiankissig jrw oryp6518 mstone rgb cognominal pileWorks
	Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters. [My Copy] by Luc Duponcheel posted to compilation interpreters monads by zednenem on 2006-05-14 22:21:15 as along with 1 person jrw
	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 zednenem on 2006-02-04 22:22:22 as along with 31 people and 2 groups mahler puzza 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
	Applicative Programming with Effects [My Copy] by Conor Mcbride, Ross Paterson posted to effects haskell monads by zednenem on 2006-01-15 07:44:37 as along with 9 people jcreed pedagand msakai shimomura josefs mstone bringert conal croys
	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 effects lawvere-theories monads by zednenem on 2005-11-02 16:40:35 as along with 7 people and 2 groups noam_zeilberger greenrd JeffreyPalmer cedricboidin mahler mstone glaubersp Rightscom SRG_at_UCD
	Monads for Incremental Computing - Functional Pearl [My Copy] by Magnus Carlsson posted to incremental-computing monads by zednenem on 2005-10-26 05:54:13 as along with 4 people and 2 groups greenrd JeffreyPalmer josefs mahler Rightscom SRG_at_UCD
	Combining Effects: Sum and Tensor [My Copy] 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
	The essence of dataflow programming [My Copy] by Tarmo Uustalu, Varmo Vene posted to comonads dataflow-programming monads by zednenem on 2005-09-22 04:52:34 as along with 5 people and 2 groups dherman hamish greenrd JeffreyPalmer yallop NU-PRL SRG_at_UCD
	Monadic regions [My Copy] SIGPLAN Not. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, 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 2 groups JeffreyPalmer josefs voigt mahler ConcertRG Rightscom
	Imperative streams--a monadic combinator library for synchronous programming [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional 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
	DSL implementation using staging and monads [My Copy] In Domain-Specific Languages (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
	Monad transformers and modular interpreters [My Copy] In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (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 10 people and 1 group draganigajic greenrd JeffreyPalmer tautologico Benja jsala glaubersp conal americovargas pedagand SRG_at_UCD
	Backtracking, Interleaving, and Terminating Monad Transformers [My Copy] by Oleg Kiselyov, Chung-Chieh Shan, Daniel P. Friedman, Amr Sabry posted to backtracking logic-programming monad-transformers monads by zednenem on 2005-08-26 04:10:45 as
	Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code [My Copy] Generative Programming and Component Engineering (2005) by Jacques Carette, Oleg Kiselyov posted to generic-programming metaocaml metaprogramming monads staged-programming by zednenem on 2005-08-25 21:08:33 as along with 4 people and 1 group dherman JeffreyPalmer ryanc EdwardKmett NU-PRL
	Monadic Parsing in Haskell [My Copy] 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 along with 7 people and 1 group draganigajic jrw damaru msakai bunge cognominal namin Lambda the Ultimate
	Cheap (But Functional) Threads [My Copy] by William L. Harrison posted to concurrency monads resumptions by zednenem on 2005-08-07 17:36:34 as along with 2 people and 1 group dalev JeffreyPalmer NU-PRL
	A Monadic Categorical Semantics for Threads [My Copy] 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 9 people and 1 group puzza dalev jrw bfraser dmitri83 EdwardKmett jsala neuralwarp ps_ttf NU-PRL
	Trampolining Architectures [My Copy] 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
	Trampolined Style [My Copy] In International Conference on Functional Programming (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
	Comprehending Queries [My Copy] (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
	Representing Monads [My Copy] In Conf.\ Record 21st ACM {SIGPLAN}-{SIGACT} Symp.\ on Principles of Programming Languages, {POPL}'94, Portland, {OR}, {USA}, 17--21 Jan.\ 1994 (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
	An Introduction to Reflection-Oriented Programming [My Copy] (1996) by J. Sobel, D. Friedman posted to continuation monads reflection by zednenem on 2005-07-22 21:08:27 as along with 4 people and 3 groups assnoodles jolilius aufrank neuralwarp NU-PRL TUCS-ES_Lab ur-cls
	Mixin modules and computational effects [My Copy] (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
	Rolling Your Own Mutable ADT---A Connection Between Linear Types and Monads [My Copy] In Conference Record of POPL~'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (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
	A monadic combinator compiler compiler [My Copy] (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
	A monadic framework for subcontinuations [My Copy] by Kent R. Dybvig, Simon Peyton-Jones, Amr Sabry posted to continuation haskell monads by zednenem on 2005-06-24 19:05:21 as along with 1 person jrw

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

haskell	50
monads	34
modules	14
concurrency	11
fp	11
category-theory	9
lazy-evaluation	8
type-classes	8
comonads	7
effects	7
logic-programming	7
generic-programming	6
logic	6
compilation	5
intermediate-language	5
lawvere-theories	5
query	5
continuation	4
continuations	4
mixins	4
monad-transformers	4
recursion	4
staged-programming	4
type-theory	4
algebra	3
associated-types	3
coinduction	3
gui	3
metaprogramming	3
ml	3
ocaml	3
oop	3
polymorphism	3
programming	3
zippers	3
abstract-types	2
algebraic-reasoning	2
applicative-functors	2
attribute-grammars	2
backtracking	2
call-by-value	2
codata	2
composable-references	2
corecursion	2
dataflow-programming	2
dsl	2
gadt	2
higher-ranked-types	2
impredicative-types	2
interpreters	2
lambda-calculus	2
linear-types	2
parsing	2
program-transformation	2
rdf	2
reflection	2
semantics	2
transluscent-functors	2
type-equality	2
type-system	2
algorithms	1
allocation	1
arithmetic	1
arrows	1
build-systems	1
coalgebra	1
collections	1
combinators	1
constraint-satisfaction	1
contracts	1
dependent-types	1
description-logic	1
domain-theory	1
dynamic-linking	1
dynamic-typing	1
edsl	1
embedding	1
epigram	1
equational-reasoning	1
events	1
exceptions	1
expressiveness	1
folds	1
frp	1
fundeps	1
grammar	1
graph	1
implicit-variables	1
incremental-computing	1
knowledge-representation	1
lattices	1
lexing	1
lua	1
macros	1
make	1
metaocaml	1
modal-logic	1
multiparadigm	1
natural-language	1
nested-datatypes	1
non-strict	1
optimization	1
ordinals	1
owl	1
oz	1
pan	1
partial-evaluation	1
plt	1
purely-functional-data-structures	1
python	1
references	1
regular-expressions	1
resumptions	1
scala	1
scheme	1
software-maintenance	1
structural-types	1
symbolic-math	1
system-f	1
template-haskell	1
termination	1
testing	1
text-formatting	1
trampoline-style	1
type-as-proposition	1
typecase	1
type-coercion	1
type-indexed-types	1
type-inference	1
type-isomorphisms	1
unboxed-types	1
units	1
virtual-types	1
xml	1
yampa	1

zednenem's monads [34 articles] Export

zednenem's tags