jimburton's Top Recommendations

These recommendations were last updated 52 minutes ago.

	Composable memory transactions [My Copy] In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60. by Tim Harris, Simon Marlow, Simon P. Jones, Maurice Herlihy posted by 29 people ama08r ConcertRG pwais bhoward fukumori gakincho amp269 fvogels bfraser draganigajic hamish greenrd tautologico amorkan damaru epaulson joelh ben_moseley scook0 AndreasSchropp neilc pjdonald janschaefer SRG_at_UCD TU-KL-SoftwareTechnologyGroup kazuya pedagand brecknell frej
	Backtracking, interleaving, and terminating monad transformers: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 192-203. by Oleg Kiselyov, Chung-Chieh Shan, Daniel P. Friedman, Amr Sabry posted by 7 people greenrd voigt mahler msakai AndreasSchropp Rightscom SRG_at_UCD
	An embedded domain-specific language for type-safe server-side web scripting [My Copy] ACM Trans. Internet Technol., Vol. 5, No. 1. (February 2005), pp. 1-46. by Peter Thiemann posted by 9 people frangaiz draganigajic greenrd JeffreyPalmer jipibanf stagediver onekin SRG_at_UCD pedagand
	A Static Semantics for Haskell [My Copy] (2002) by K. Faxen posted by 4 people draganigajic greenrd cdiggins 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 by 12 people draganigajic greenrd JeffreyPalmer tautologico zednenem Benja jsala glaubersp conal SRG_at_UCD americovargas pedagand
	Template meta-programming for haskell [My Copy] (2002) by T. Sheard, S. Jones posted by 7 people draganigajic twleung greenrd cedricboidin SRG_at_UCD Lambda the Ultimate namin
	Lazy functional state threads [My Copy] In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 24-35. by John Launchbury, Simon L. Peyton Jones posted by 11 people ama08r spl fvogels draganigajic twleung dherman greenrd tautologico NU-PRL SRG_at_UCD pedagand
	Dynamic applications from the ground up [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 27-38. by Don Stewart, Manuel M. T. Chakravarty posted by 8 people bfraser draganigajic hamish JeffreyPalmer voigt byorgey jpbernardy pedagand
	A principled approach to operating system construction in Haskell [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128. by Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach posted by 8 people draganigajic pejo voigt hannes mahler mstone Rightscom pedagand
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted by 9 people greenrd jrw greg_restall zednenem josefs voigt msakai EdwardKmett SRG_at_UCD
	There and back again: arrows for invertible programming [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 86-97. by Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, Rinus Plasmeijer posted by 7 people greenrd tautologico voigt mahler mstone Rightscom SRG_at_UCD
	Haskell ready to dazzle the real world [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 17-26. by Martijn M. Schrage, Arjan van Ijzendoorn, Linda C. van der Gaag posted by 7 people greenrd voigt p1738j kowey shimomura wtribbey SRG_at_UCD
	Associated type synonyms [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 241-253. by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones posted by 8 people spl conal greenrd yallop kinaba voigt SRG_at_UCD americovargas
	Scrap your nameplate: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 180-191. by James Cheney posted by 5 people greenrd voigt msakai keigoi SRG_at_UCD
	Dynamic optimization for functional reactive programming using generalized algebraic data types [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 54-65. by Henrik Nilsson posted by 10 people greenrd zednenem josefs voigt robennals conal serebryakov SRG_at_UCD blue_entropy bhuber
	Eager Haskell: resource-bounded execution yields efficient iteration [My Copy] In Haskell '02: Proceedings of the ACM SIGPLAN workshop on Haskell (2002), pp. 38-50. by Jan-Willem Maessen posted by 4 people greenrd MattOConnor voigt SRG_at_UCD
	Functional array fusion [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 205-216. by Manuel M. T. Chakravarty, Gabriele Keller posted by 6 people greenrd voigt balicea tov wtribbey SRG_at_UCD
	Functional programming with bananas, lenses, envelopes and barbed wire [My Copy] In Proceedings of the 5th ACM conference on Functional programming languages and computer architecture (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson posted by 16 people ama08r Benja greenrd yallop jyasskin voigt oryp6518 dmitri83 aleks rgb bringert wtribbey SRG_at_UCD Compilers pileWorks spl
	Associated types with class [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13. by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones, Simon Marlow posted by 13 people samth greenrd zednenem bec voigt msakai bonotake spl NU-PRL SRG_at_UCD gkuan americovargas jpbernardy
	Why no one uses functional languages [My Copy] SIGPLAN Not., Vol. 33, No. 8. (August 1998), pp. 23-27. by Philip Wadler posted by 17 people samth twleung dherman jacob hamish greenrd voigt yish robennals umbra ryanc NU-PRL mathgamespatterns SRG_at_UCD dtl vds-arg eni
	SSA is functional programming [My Copy] SIGPLAN Not., Vol. 33, No. 4. (April 1998), pp. 17-20. by Andrew W. Appel posted by 10 people samth dherman greenrd yallop JosephKoshy pejo voigt madhadron NU-PRL SRG_at_UCD
	Categorification [My Copy] (5 Feb 1998) by John C. Baez, James Dolan posted by 1 person draganigajic
	Elements of a relational theory of datatypes [My Copy] Formal Program Development (1993), pp. 7-42. by Roland Backhouse, Paul Hoogendijk posted by 2 people draganigajic pedagand
	Types for describing coordinated data structures [My Copy] In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 25-36. by Michael F. Ringenburg, Dan Grossman posted by 2 people draganigajic pedagand
	Types, Abstraction, and Parametric Polymorphism, [My Copy] by D. A. Schmidt, Qingming Ma, John C. Reynolds posted by 2 people draganigajic pedagand
	A theory of qualified types [My Copy] In In Fourth European Symposium on Programming, Vol. 582 (1992), pp. 287-306. by Mark P. Jones posted by 2 people draganigajic pedagand
	Modeling HTML in Haskell [My Copy] In PADL '00: Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages (2000), pp. 263-277. by Peter Thiemann posted by 2 people draganigajic pedagand
	Functional Parsers [My Copy] In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (1995), pp. 1-23. by Jeroen Fokker posted by 2 people pedagand draganigajic
	How to replace failure by a list of successes [My Copy] In Proc. of a conference on Functional programming languages and computer architecture (1985), pp. 113-128. by Philip Wadler posted by 2 people pedagand draganigajic
	A tutorial on (co)algebras and (co)induction [My Copy] EATCS Bulletin, Vol. 62 (1997), pp. 62-222. by Bart Jacobs, Jan Rutten posted by 7 people dimvar ama08r robotact ddemange fvogels draganigajic pedagand
	and [My Copy] by Paul Caspi, Marc Pouzet posted by 2 people draganigajic pedagand
	The design of a pretty-printing library [My Copy] Advanced Functional Programming (1995), pp. 53-96. by John Hughes posted by 4 people msakai draganigajic pedagand yoriyuki
	Induction and State Machines [My Copy] by Koen Claessen posted by 2 people draganigajic pedagand
	Chasing Bottoms, A Case Study in Program Verification in the Presence of Partial and Infinite Values [My Copy] In Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, Vol. 3125 (July 2004), pp. 85-109. by Nils A. Danielsson, Patrik Jansson edited by Dexter Kozen posted by 2 people draganigajic pedagand
	Evaluating MapReduce for Multi-core and Multiprocessor Systems [My Copy] High-Performance Computer Architecture, International Symposium on, Vol. 0 (2007), pp. 13-24. by Colby Ranger, Ramanan Raghuraman, Arun Penmetsa, Gary Bradski, Christos Kozyrakis posted by 12 people joshdsullivan erain zhaomin myui mogwaing conservatism jahwa dynam Jingbo lfwgoes draganigajic pedagand
	Explaining Algebraic Theory with Functional Programs [My Copy] In Functional Programming Languages in Education (1995), pp. 139-158. by Jeroen Fokker posted by 2 people pedagand draganigajic
	Adaptive functional programming [My Copy] SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 247-259. by Umut A. Acar, Guy E. Blelloch, Robert Harper posted by 2 people draganigajic pedagand
	Monads for Incremental Computing - Functional Pearl [My Copy] by Magnus Carlsson posted by 2 people draganigajic pedagand
	Nepal - Nested Data Parallelism in Haskell [My Copy] In Euro-Par '01: Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing (2001), pp. 524-534. by Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, W. Pfannenstiel posted by 2 people draganigajic pedagand
	First-class polymorphism with type inference [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 483-496. by Mark P. Jones posted by 3 people draganigajic spl pedagand
	System Level Specification in Lava [My Copy] In DATE '03: Proceedings of the conference on Design, Automation and Test in Europe (2003) by Satnam Singh posted by 2 people draganigajic pedagand
	Automatic Verification of Combinational and Pipelined FFT Circuits [My Copy] Computer Aided Verification (1999), pp. 686-686. by Per Bjesse posted by 2 people draganigajic pedagand
	Functor Pulling [My Copy] In Informal Proceedings Workshop on Generic Programming, WGP'98, Marstrand, Sweden, 18 June 1998 (1998) by Lambert Meertens edited by Roland Backhouse, Tim Sheard posted by 2 people draganigajic spl
	Relational parametricity and units of measure [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 442-455. by Andrew J. Kennedy posted by 4 people ConcertRG fvogels draganigajic pedagand
	Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives [My Copy] SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 189-199. by Peng Li, Steve Zdancewic posted by 3 people draganigajic shimomura pedagand
	A hidden agenda [My Copy] Theoretical Computer Science, Vol. 245, No. 1. (2000), pp. 55-101. by Joseph Goguen, Grant Malcolm posted by 2 people draganigajic sclv
	The semantic elegance of applicative languages [My Copy] In FPCA '81: Proceedings of the 1981 conference on Functional programming languages and computer architecture (1981), pp. 85-92. by D. A. Turner posted by 3 people pedagand draganigajic spl
	Using, Understanding, and Unraveling - The OCaml Language - From Practice to Theory and vice versa [My Copy] by Didier Remy posted by 2 people draganigajic pedagand
	Types as abstract interpretations [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 316-331. by Patrick Cousot posted by 4 people draganigajic pedagand Lambda the Ultimate KarlKlose
	(When) will FPGAs kill ASICs? (panel session) [My Copy] In DAC '01: Proceedings of the 38th conference on Design automation (2001), pp. 321-322. by Rob A. Rutenbar, Max Baron, Thomas Daniel, et al.Rajeev Jayaraman, Zvi Or-Bach, Jonathan Rose, Carl Sechen posted by 3 people lakshminp draganigajic pedagand
	Data types ? la carte [My Copy] Journal of Functional Programming, Vol. Forthcoming, No. -1. (2008), pp. 1-14. by Wouter Swierstra posted by 3 people pedagand draganigajic jpbernardy
	Fold and unfold for program semantics [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 280-288. by Graham Hutton posted by 5 people draganigajic mcclurmc Lambda the Ultimate msakai spl
	Finally Tagless, Partially Evaluated [My Copy] Programming Languages and Systems (2009), pp. 222-238. by Jacques Carette, Oleg Kiselyov, Chung-Chieh Shan posted by 6 people ConcertRG draganigajic pedagand keigoi msakai nominolo
	Generational garbage collection for Haskell [My Copy] In FPCA '93: Proceedings of the conference on Functional programming languages and computer architecture (1993), pp. 106-116. by Patrick M. Sansom, Simon posted by 2 people draganigajic pedagand
	First class modules for Haskell [My Copy] (2002) by M. Shields, S. Jones posted by 3 people draganigajic tautologico Lambda the Ultimate
	Calculating Functional Programs [My Copy] In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000), pp. 149-202. by Jeremy Gibbons posted by 4 people draganigajic pedagand Lambda the Ultimate namin
	Generic Programming [My Copy] Advanced Functional Programming (1999), pp. 28-115. by Roland Backhouse, Patrik Jansson, Johan Jeuring, Lambert Meertens posted by 5 people ansobol pedagand draganigajic spl americovargas
	Practical type inference for arbitrary-rank types [My Copy] J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 1-82. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields posted by 4 people draganigajic byorgey americovargas pedagand
	The groupoid interpretation of type theory [My Copy] (1995) by M. Hofmann, T. Streicher posted by 4 people draganigajic Scis0000002 mcclurmc Lambda the Ultimate
	A system of constructor classes: overloading and implicit higher-order polymorphism [My Copy] In FPCA '93: Conference on Functional Programming and Computer Architecture, Copenhagen, Denmark (1993), pp. 52-61. by Mark P. Jones posted by 4 people draganigajic SamB jpbernardy pedagand
	Combining a Monad and a Comonad [My Copy] No. TR-99-33. (1999) by John Power, Hiroshi Watanabe posted by 3 people draganigajic zednenem sclv
	Versioned boxes as the basis for memory transactions [My Copy] Science of Computer Programming, Vol. 63, No. 2. (01 December 2006), pp. 172-185. by J. Cachopo, A. Ritosilva posted by 4 people adamx draganigajic brecknell pedagand
	Making a Fast Curry [My Copy] by Push E. Vs posted by 5 people draganigajic cdiggins sclv SamB functional programming
	Plugging Haskell in [My Copy] In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 10-21. by André Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty posted by 3 people draganigajic brecknell pedagand
	System F with type equality coercions [My Copy] In TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (2007), pp. 53-66. by Martin Sulzmann, Manuel M. T. Chakravarty, Simon P. Jones, Kevin Donnelly posted by 4 people draganigajic mcclurmc Lambda the Ultimate jpbernardy
	Running the Manual: An Approach to High-Assurance [My Copy] by Microkernel D. Philip posted by 1 person draganigajic
	Map-reduce-merge: simplified relational data processing on large clusters [My Copy] In SIGMOD '07: Proceedings of the 2007 ACM SIGMOD international conference on Management of data (2007), pp. 1029-1040. by Hung C. Yang, Ali Dasdan, Ruey L. Hsiao, D. Stott Parker posted by 16 people kuenishi boesswetter pool007 wyf181 mogwaing Jingbo urvoy jweslley qiuyl myui draganigajic rstata bunge idornescu pdlug dmeister
	Lock Free Data Structures Using STM in Haskell [My Copy] Functional and Logic Programming (2006), pp. 65-80. by Anthony Discolo, Tim Harris, Simon Marlow, Simon Jones, Satnam Singh posted by 5 people draganigajic pedagand brecknell keigoi msakai
	A Categorical Analysis of Multi-Level Languages (Extended Abstract) [My Copy] (1998) by Zine E. Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard posted by 3 people draganigajic mcclurmc Lambda the Ultimate
	Tangible functional programming [My Copy] In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 59-70. by Conal M. Elliott posted by 3 people ConcertRG draganigajic pedagand
	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 Simon, Philip Wadler posted by 3 people draganigajic spl pedagand
	Programming with Arrows [My Copy] Advanced Functional Programming (2005), pp. 73-129. by John Hughes posted by 4 people draganigajic mcclurmc Lambda the Ultimate americovargas
	Type classes: an exploration of the design space [My Copy] (1997) by S. Jones, M. Jones, E. Meijer posted by 4 people draganigajic linekin jpbernardy pedagand
	Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly)) [My Copy] (2007) by Andy Oram, Greg Wilson posted by 9 people lfwgoes veal gakincho fvogels draganigajic pedagand mcclurmc jwong frej
	Higher--Order Concurrency [My Copy] No. TR92-1852. (1992) by John H. Reppy posted by 2 people draganigajic pedagand
	Generalising monads to arrows [My Copy] Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 67-111. by John Hughes posted by 6 people draganigajic alec tov calvins pedagand americovargas
	Lisp: Good News, Bad News, How to Win Big [My Copy] (JanuaryMarch~ 1994) by Richard P. Gabriel posted by 6 people ddemange draganigajic hamish bfraser brothers pedagand
	A Theory of Objects [My Copy] (1996) by Martin Abadi, Luca Cardelli posted by 5 people draganigajic mcclurmc Lambda the Ultimate gugamar fheintz
	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 by 5 people gakincho draganigajic functional programming mcclurmc vlasovskikh
	Declarative event-oriented programming [My Copy] In PPDP '00: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming (2000), pp. 56-67. by Conal Elliott posted by 2 people draganigajic pedagand
	A functional-logic library for wired [My Copy] In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 37-48. by Matthew Naylor, Emil Axelsson, Colin Runciman posted by 4 people draganigajic msakai keigoi pedagand
	Functional Implementations of Continuous Modeled Animation [My Copy] Lecture Notes in Computer Science, Vol. 1490 (1998), pp. 284-??. by Conal Elliott posted by 2 people draganigajic pedagand
	Event-Driven FRP [My Copy] Lecture Notes in Computer Science, Vol. 2257 (2001) by Zhanyong Wan, Walid Taha, Paul Hudak posted by 2 people draganigajic pedagand
	Parallel Functional Reactive Programming [My Copy] Lecture Notes in Computer Science, Vol. 1753 (2000), pp. 16-??. by John Peterson, Valery Trifonov, Andrei Serjantov posted by 3 people draganigajic conal pedagand
	Functional reactive programming from first principles [My Copy] In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation (2000), pp. 242-252. by Zhanyong Wan, Paul Hudak posted by 2 people draganigajic pedagand
	Trickles: a stateless network stack for improved scalability, resilience, and flexibility [My Copy] In NSDI'05: Proceedings of the 2nd conference on Symposium on Networked Systems Design \& Implementation (2005), pp. 175-188. by Alan Shieh, Andrew C. Myers, Emin G. Sirer posted by 2 people draganigajic pedagand
	The Yampa arcade [My Copy] In Haskell '03: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (2003), pp. 7-18. by Antony Courtney, Henrik Nilsson, John Peterson posted by 6 people mirimm draganigajic vlasovskikh kazuya pedagand red_buttons
	Arrows, robots, and functional reactive programming [My Copy] (2002) by P. Hudak, A. Courtney, H. Nilsson, J. Peterson posted by 7 people draganigajic davidmihalcik calvins vlasovskikh serebryakov kazuya pedagand
	Why the Internet only just works [My Copy] BT Technology Journal, Vol. 24, No. 3. (July 2006), pp. 119-129. by M. Handley posted by 4 people MartinSchuerrer draganigajic johnfitzpat pedagand
	Data parallel Haskell: a status report [My Copy] In DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming (2007), pp. 10-18. by Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon P. Jones, Gabriele Keller, Simon Marlow posted by 6 people ama08r jmmcg draganigajic tov brecknell pedagand
	QuickCheck: a lightweight tool for random testing of Haskell programs [My Copy] ACM SIGPLAN Notices, Vol. 35, No. 9. (2000), pp. 268-279. by Koen Claessen, John Hughes posted by 4 people draganigajic conal americovargas pedagand
	A Theory of Adjoint Functors--with some Thoughts about their Philosophical Significance [My Copy] ArXiv Mathematics e-prints (November 2005) by D. Ellerman posted by 2 people draganigajic Scis0000002
	Functional unparsing [My Copy] J. Funct. Program., Vol. 8, No. 6. (November 1998), pp. 621-625. by Olivier Danvy posted by 7 people ama08r pedagand draganigajic msakai keigoi cognominal spl
	Techniques for embedding postfix languages in Haskell [My Copy] In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 105-113. by Chris Okasaki posted by 3 people draganigajic mstone pedagand
	Stratified type inference for generalized algebraic data types [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 232-244. by François Pottier, Yann R. Gianas posted by 4 people ConcertRG draganigajic jrw pedagand
	Algebras, Coalgebras, Monads and Comonads [My Copy] In Proceedings 4th Workshop on Coalgebraic Methods in Computer Science, CMCS'01, Genova, Italy, 6--7 Apr.\ 2001, Vol. 44(1) (2001) by Neil Ghani, Cristoph Lüth, Federico de Marchi, John Power edited by Andrea Corradini, Marina Lenisa, Ugo Montanari posted by 6 people fvogels draganigajic oryp6518 glaubersp Scis0000002 sclv
	Coproducts Of Ideal Monads [My Copy] by Neil Ghani, Tarmo Uustalu posted by 3 people draganigajic glaubersp sclv
	Composing Monads Using Coproducts [My Copy] by Christoph Lüth, Neil Ghani posted by 3 people draganigajic glaubersp sclv
	An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming [My Copy] by Jonathan M. D. Hill, Keith Clarke posted by 13 people pirapira algorithmic draganigajic ansobol jrw zednenem proportional jutaro glaubersp mathcoq ps_ttf Lambda the Ultimate namin
	Efficient Persistent Haskell [My Copy] (1998) by A. Davie, K. Hammond, J. Quintela posted by 5 people draganigajic rgb yang pileWorks sclv