namin's Top Recommendations

These recommendations were last updated about an hour ago.

	Why Functional Programming Matters [My Copy] Computer Journal, Vol. 32, No. 2. (1989), pp. 98-107. by J. Hughes posted by 11 people jweslley pedagand draganigajic joelh lomeo pilho calvins functional programming mcclurmc sclv jpbernardy
	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
	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
	Scrap More Boilerplate: Reflection, Zips, and Generalised Casts [My Copy] by Ralf Lämmel, Simon P. Jones posted by 2 people jburnim lomeo
	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
	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
	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
	Syntax and Semantics of Dependent Types [My Copy] In Semantics and Logics of Computation, Vol. 14 (1997), pp. 79-130. by Martin Hofmann edited by A. M. Pitts, P. Dybjer posted by 4 people draganigajic mcclurmc jimburton 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
	Epigram: Practical Programming with Dependent Types [My Copy] Advanced Functional Programming (2005), pp. 130-170. by Conor Mcbride posted by 6 people Benja jimburton draganigajic mcclurmc Lambda the Ultimate 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
	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
	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
	A tutorial on the universality and expressiveness of fold [My Copy] J. Funct. Program., Vol. 9, No. 4. (July 1999), pp. 355-372. by Graham Hutton posted by 7 people ConcertRG robertjohnsimmons pedagand draganigajic functional programming mcclurmc jimburton
	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
	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
	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
	Efficient Persistent Haskell [My Copy] (1998) by A. Davie, K. Hammond, J. Quintela posted by 5 people draganigajic rgb yang pileWorks sclv
	Simple unification-based type inference for GADTs [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 50-61. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn posted by 7 people keigoi draganigajic spl bringert shimomura mcclurmc pedagand
	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
	Phantom types [My Copy] (2003) by J. Cheney, R. Hinze posted by 5 people draganigajic keigoi tov jimburton Lambda the Ultimate
	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