Mike McClurg's Top Recommendations

These recommendations were last updated about an hour ago.

	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted by 36 people ama08r ddemange pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins SRL SRG_at_UCD complogic mmarcus jimburton Lambda the Ultimate namin dvgb jkominek pedagand
	Theorems for Free! [My Copy] In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359. by Philip Wadler posted by 20 people jimburton pedagand draganigajic samth dherman JacquesC greenrd rwtodd zednenem msakai lomeo ryanc tov jwm0123 KarlKlose cdiggins NU-PRL SRG_at_UCD dfisher americovargas
	Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming [My Copy] In TLDT03 (2003) by Ralf Lämmel, Simon P. Jones posted by 6 people draganigajic jburnim lomeo bringert Lambda the Ultimate namin
	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
	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
	Making a Fast Curry [My Copy] by Push E. Vs posted by 5 people draganigajic cdiggins sclv SamB functional programming
	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
	Efficient Persistent Haskell [My Copy] (1998) by A. Davie, K. Hammond, J. Quintela posted by 5 people draganigajic rgb yang pileWorks sclv
	Dependent Types in Practical Programming [My Copy] In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 214-227. by Howgwei Xi, Frank Pfenning posted by 12 people ama08r talototo darinm draganigajic dherman tautologico bdauvergne radico mstone sclv NU-PRL pedagand
	Faking it---simulating dependent types in Haskell [My Copy] (2001) by C. Mcbride posted by 11 people samth pedagand draganigajic twleung dherman JacquesC greenrd tov sclv NU-PRL SRG_at_UCD
	Foundations for structured programming with GADTs [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308. by Patricia Johann, Neil Ghani posted by 8 people ama08r talototo spl draganigajic hellige msakai jimburton Lambda the Ultimate
	Composing contracts: an adventure in financial engineering (functional pearl) [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 280-292. by Simon P. Jones, Jean M. Eber, Julian Seward posted by 3 people draganigajic pedagand jimburton
	Phantom types [My Copy] (2003) by J. Cheney, R. Hinze posted by 5 people draganigajic keigoi tov jimburton Lambda the Ultimate
	Basic Category Theory for Computer Scientists (Foundations of Computing) [My Copy] (07 August 1991) by Benjamin C. Pierce posted by 14 people pedagand fvogels olegus draganigajic ansobol jrw BarrosH proportional bonotake devnull Scis0000002 ds jimburton Lambda the Ultimate
	Typeful Programming [My Copy] In Formal Description of Programming Concepts (1991), pp. 431-507. by Luca Cardelli edited by E. J. Neuhold, M. Paul posted by 8 people draganigajic rgrig amorkan lyongu ds SRG_at_UCD Lambda the Ultimate jimburton
	Type Systems [My Copy] In The Computer Science and Engineering Handbook (1997) by Luca Cardelli edited by Allen B. Tucker posted by 14 people talototo draganigajic rgrig greenrd tautologico amorkan lyongu Bluetulip Leho SRG_at_UCD jimburton Lambda the Ultimate mvermaat zuleger
	Advanced Topics In Types And Programming Languages [My Copy] (19 November 2004) by Benjamin C. Pierce posted by 11 people ama08r draganigajic sstrickl tautologico thsutton voigt lyongu msakai jimburton Lambda the Ultimate shimomura
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted by 23 people ama08r michaelbanks mperalta draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi SRG_at_UCD robotact srccheck jimburton Lambda the Ultimate jasmithoffice shimomura
	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 by 27 people jimburton jweslley draganigajic JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels cdiggins SRL SIG hayeah SamB mmarcus americovargas namin functional programming Lambda the Ultimate pedagand
	Modular Domain Specific Languages and Tools [My Copy] In Proceedings: Fifth International Conference on Software Reuse (1998), pp. 134-142. by Paul Hudak edited by P. Devanbu, J. Poulin posted by 11 people draganigajic JacquesC hamish JeffreyPalmer cedricboidin stagediver bunge mldechert NU-PRL jimburton Lambda the Ultimate
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted by 14 people draganigajic twleung dherman greenrd cedricboidin msakai bonotake tov calvins NU-PRL SRG_at_UCD BMeph jimburton Lambda the Ultimate
	Domain specific embedded compilers [My Copy] In Domain-Specific Languages (1999), pp. 109-122. by Daan Leijen, Erik Meijer posted by 16 people pedagand draganigajic sourada twleung dherman jacob JacquesC hamish JeffreyPalmer cedricboidin msakai ryanc NU-PRL jimburton Lambda the Ultimate dfisher
	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 by 25 people jimburton TobiasAbenius leonardo michaelbanks olegus keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya mstone calvins NU-PRL GroupLens SRL hayeah frej
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	Encoding Information Flow in Haskell [My Copy] In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006) by Peng Li, Steve Zdancewic posted by 10 people ama08r shimomura michaelbanks draganigajic msakai criswell keigoi scavadini tesissvc pedagand
	Polytypic values possess polykinded types [My Copy] Science of Computer Programming, Vol. 43, No. 2-3. ( 2002), pp. 129-159. by Ralf Hinze posted by 3 people draganigajic yallop pedagand
	Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs [My Copy] Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 613-641. by John Backus posted by 13 people brothers amp269 draganigajic pedagand egh creswick joost spl mrsmond Guff32 mdekruijf artur bendiken
	Lava: hardware design in Haskell [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 174-184. by Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh posted by 5 people draganigajic jacob mmuecke SamB pedagand
	Local Type Inference [My Copy] In Conference Record of POPL 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California (1998), pp. 252-265. by Benjamin C. Pierce, David N. Turner posted by 6 people draganigajic tautologico suizan jfischer gkuan pedagand
	A prettier printer [My Copy] Journal of Functional Programming (1999) by Philip Wadler posted by 4 people draganigajic dherman NU-PRL pedagand
	Another Essence of Dataflow Programming [My Copy] by Ben Denckla posted by 3 people draganigajic dherman NU-PRL
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted by 4 people draganigajic dherman Benja NU-PRL
	The Problem with Threads [My Copy] Computer, Vol. 39, No. 5. (2006), pp. 33-42. by E. A. Lee posted by 13 people fierykylin jweslley hubris amp269 draganigajic scottmoody craigtalbert mdekruijf 7oby semantic-multicast-routing pedagand DickSilver dmeister
	Structured type theory [My Copy] (1999) by C. Coquand, T. Coquand posted by 3 people draganigajic msakai bringert
	MULTILISP: a language for concurrent symbolic computation [My Copy] ACM Trans. Program. Lang. Syst., Vol. 7, No. 4. (October 1985), pp. 501-538. by Robert H. Halstead posted by 8 people fvogels draganigajic jrw proportional Benja ajk clconway pedagand