mstone's Top Recommendations

These recommendations were last updated about 7 hours 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
	A Categorical Manifesto [My Copy] Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67. by Joseph A. Goguen posted by 16 people pedagand robotact spl ansobol jrw bonotake scis0000001 pilho rgb kaqui ajk artur pileWorks masteraka popx marcinzalewski
	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
	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
	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
	On the Expressive Power of Programming Languages [My Copy] In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151. by Matthias Felleisen edited by N. Jones posted by 23 people samth pedagand dherman jacob edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert NU-PRL jsiek dfisher fgeller jkominek
	The Small-World Phenomenon: An Algorithmic Perspective [My Copy] In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000) by Jon Kleinberg posted by 50 people ariels pirapira semantic01 brewbooks mhofree sototozo pick600 camster mercutio korakot twleung A_Olympia khop01 ansobol macartisan jrw xxc zqshen nkorf rahul srinaths lyongu ddahlem scis0000001 bigbossman merazzle jwdietrich pcchen001 luk jpah deysandeep furykerry Philosophy_of_Information dbk-lab Blog_and_Wiki_Research GraphVis Semantic-Social-Networks Wikipedia SRL Cybernetics oktave-labs Community_SSTZ gvdh Social Web casst122 mpotamias kaks paulovn pedagand wangjava
	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
	Putting curry-howard to work [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85. by Tim Sheard posted by 17 people Scis0000002 fvogels draganigajic greenrd plaugg yallop thsutton voigt mahler KarlKlose Rightscom SRG_at_UCD mcclurmc robotact jimburton Lambda the Ultimate americovargas
	Conceptual Mathematics: A First Introduction to Categories [My Copy] (28 November 1997) by F. William Lawvere, Stephen H. Schanuel posted by 11 people seno ddemange michaelbanks pedagand msakai bonotake NitinCR rgb kaqui incognito pileWorks
	The Structure of Collaborative Tagging Systems [My Copy] (18 Aug 2005) by Scott Golder, Bernardo A. Huberman posted by 324 people vellino aosbat lucybuykx pajoma borkurdotnet BergmanLab cisevol Lucavax nandipati jzm10nyc makrehchi xomic k12musicman mboehmer andreacapocci szymek arjen ekrsulov Information Integration Architecture mxro zpinhead MariaChiaraP eLearning in Leicester AJCann thegoose AnthonySoprano kevinemamy alhoori sirdjsmith mrt2k9 ganden maplover spiritjoy wmdeneve christianholz ssw cgl janicewarner POPB jkstewart bluelena69 VGreiff cimbrone narroyo dullhunk eduardodiaz trisha karimlakhani draggin rabourn nettraq dmolla ericyu korakot jmankoff magnusenger A_Olympia rickl ansobol jomeyertons tyfn pdlug elsantosneto FG mcphee palakorn sabunome ecolab garyfeng xxc cc286 weimer nkorf takeha-e ChaTo pmounier alisonruth ldietz yishuai carolh12 sachac holidaynow wcrosbie libah jrsinclair jgodara jryall zelig ohkura cephas Jaykul Jenneke yish weelassie ctreude cyph3r scottmoody elainelally tolosoft davidleitner sids worksmarts kapil1312 luise darcyduke echi schade dartar meikipp technocrat ElFishski cveres robertodandi kaz24 claudioferreira tintos shilad beatty xrzhao ramonovelar ayanos jodi craigtalbert styliani entropy mbraly gphroh Sulpicus hopst901 wasp msn ianturton deynard fukken ak krisl ilya cavalo j_hsieh mettadata yanbe dk1357 lag omo rashford majak lanubile cristinaalp wrijneveld twetering shashikant PhilipEvans brusilovsky cronopio1979 fnarne myudelson pool avivagabriel itst rgb eduardocruz jrhode brunomelo dalooza vikx01 bug naufraghi KathrinJanke jstowe mzygmunt azygmunt mp4man astab GregorSuhr toben82 starchaser Tellima KYati searchy MoritzStefaner harryzou frankieta josepe timothee flavian_vasile simons mattlandau Bernd benhockenberry abetaha dpdearing mook3000 hqcspring mistermagister chirayu_kong bangb amarois pauldonner abonchen PaulBHartzog hanshee quinkell eitelman kaineci jenna ocool lnani anansi thorisalaptop GJNauta rastrol7 AlisonBabeu justaube laurobeltrao ricardoaraujo chiapet discopatrick telekas JimFolk ungethym menjo jima blamb jryall-tags JSicot yuyuyu mjchernyk cb9345 markymaypo RunningHorse PatParslow shirleyearley gconaldi cmschweda MarkLaurent CMU-HCII Philosophy_of_Information Blog_and_Wiki_Research Drexel-HCI ReadingLab CSCW Drexel-eVoting CHISEL Librarians Semantic-Social-Networks GroupLens Wikipedia utoronto-iml OpenArchive CoP_CMS mathgamespatterns semantic-multicast-routing folksonomy Sciences_communication_societe ETEC533 dtl vds-arg SFX-Verde-team-MITLibraries STS OpenVanilla AI eni SITCRC CDG WatzekLibrary social_navigation Web2 ComplexAdaptiveSystems EnvironmentalStudies localization ilyajune FAL Footprints RiSE nlab pileWorks kickOffTUG-Robocup SocialMedia EdTech FacDev TeachOnline AGH-IISG Adaptive-Web TaggingAndSemantics MeAggregator ARTFL oktave-labs Foresight CSU_School_of_Education Web2-0_Education Library 2.0 Procyon alkal markasoper abellogin Skinner lxh468 choisyster ffloeck callatax kenneth1ny arasbm Social Web bluecricket Deathweaver cherhan acslab ACS Mohan-S Tonsertorben gionis donade janetyc wangyiding paulovn azollers michellutz betaparticle fryanpan teddyyo randomname uhland KOKI0001 vanesam
	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
	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
	Sets for Mathematics [My Copy] (27 January 2003) by F. William Lawvere, Robert Rosebrugh, W. Lawvere, R. Rosebrugh posted by 8 people seno isotelesis michaelbanks DavidChemouil mahler rgb Rightscom pileWorks
	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
	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
	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
	Graph mining: Laws, generators, and algorithms [My Copy] ACM Comput. Surv., Vol. 38, No. 1. (2006) by Deepayan Chakrabarti, Christos Faloutsos posted by 40 people eustachediemert dcombe makrehchi thegoose Social Web Adaptive-Web denisparra conservatism mmcgloho EmreSevinc Torsten_Holmer pdlug jrw mapio tmmurali ChaTo scis0000001 bigbossman AbnerCYH rgb joergkurtwegner graphminer azygmunt Repton jaspervoskuilen nvemuri iris_2001 InternetAlgorithms tuttle furykerry kozaki Molecular-Modelling Drug-Design Cheminformatics pileWorks AGH-IISG CSBBGraphTheory Community_SSTZ styliani krisl
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted by 23 people ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup mmarcus ps_ttf
	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
	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 by 12 people kozima pedagand JeffreyPalmer voigt msakai bonotake dmitri83 aleks EdwardKmett Benja Compilers mcclurmc
	Monads for Incremental Computing - Functional Pearl [My Copy] by Magnus Carlsson posted by 7 people greenrd JeffreyPalmer zednenem josefs mahler Rightscom SRG_at_UCD
	A Small World Network of Prime Numbers [My Copy] (24 Jul 2006) by Anjan K. Chandra, Subinay Dasgupta posted by 5 people ansobol jrw scis0000001 rgb pileWorks
	A new notation for arrows [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 229-240. by Ross Paterson posted by 10 people draganigajic eaubin rwtodd jrw cedricboidin tautologico jolilius TUCS-ES_Lab cognominal pedagand
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted by 12 people ConcertRG mishra_satish fraktalek mahler msakai bonotake adrian_pigors scis0000001 Rightscom masteraka marcinzalewski Scis0000002
	The view from the left [My Copy] J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111. by Conor Mcbride, James Mckinna posted by 11 people ConcertRG robertjohnsimmons pedagand spl jimburton byorgey dalev greenrd dmitri83 NU-PRL SRG_at_UCD
	Wait-free synchronization [My Copy] ACM Trans. Program. Lang. Syst., Vol. 13, No. 1. (January 1991), pp. 124-149. by Maurice Herlihy posted by 13 people ama08r education02 fvogels chiayung pedagand kistijantoro jrw tautologico orish myui NSumner meisner robdockins
	The Essence of Functional Programming [My Copy] In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992), pp. 1-14. by Philip Wadler posted by 15 people jrw cedricboidin wasi rahul damaru wadler ben_moseley rgb glaubersp mingguo ds SRL pileWorks SIG donniejones18
	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 by 7 people ConcertRG JeffreyPalmer zednenem josefs voigt mahler Rightscom
	Chord: A Scalable Peer-To-Peer Lookup Service for Internet Applications [My Copy] In Proceedings of the 2001 ACM SIGCOMM Conference (2001), pp. 149-160. by Ion Stoica, Robert Morris, David Karger, Frans Kaashoek, Hari Balakrishnan posted by 25 people gerold sototozo draganigajic pdlug scottmoody pool007 jmlon rblake cchhrriiss fmc smallbadguy mrkoot utopianheaven adri davcer ariels 18th-century_history_culture_and_society semantic-multicast-routing SNE uiuc-cs pedagand gvdh hayeah dmeister sfuniak
	An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science) [My Copy] (27 February 1997) by Ming Li, Paul Vitanyi posted by 11 people gogoasa ansobol stanley BarrosH ddahlem scis0000001 rgb michaelmampaey robertoalamino pileWorks robotact
	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
	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
	Impossibility of distributed consensus with one faulty process [My Copy] J. ACM, Vol. 32, No. 2. (April 1985), pp. 374-382. by Michael J. Fischer, Nancy A. Lynch, Michael S. Paterson posted by 17 people adit262 laurobeltrao pedagand mercutio kistijantoro elsantosneto nigini ejones tea4two pverstra thiagomanel ljcamargos uwmesh ARTI macc HenryR adriancolesa
	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
	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
	An axiomatic basis for computer programming [My Copy] Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580. by C. A. R. Hoare posted by 27 people thermostat bedieber cyph3r ConcertRG robertjohnsimmons hdeyoung mattmight ddemange mrsmond michaelbanks jkominek leonardo rwtodd dsilva jff jbrown rgb calvins flavian_vasile Crypto GraphTheory pileWorks Foundations-of-Programming TMC _Anne_ bfraser zuleger
	Linear types can change the world! [My Copy] In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359. by P. Wadler edited by M. Broy, C. Jones posted by 14 people draganigajic dherman JacquesC hamish JeffreyPalmer rwtodd jrw tautologico bfraser robennals ds NU-PRL mcclurmc Lambda the Ultimate
	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
	The derivative of a regular type is its type of one-hole contexts [My Copy] (2001) by C. Mcbride posted by 10 people ConcertRG robertjohnsimmons mattmight pedagand dherman eaubin zednenem josefs ryanc NU-PRL
	From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 125-125. by Harry G. Mairson posted by 6 people dherman rogargon mahler scis0000001 NU-PRL Rightscom
	A New Approach to Quantising Space-Time: I. Quantising on a General Category [My Copy] (24 Dec 2003) by C. J. Isham posted by 5 people jrw proportional scis0000001 rgb pileWorks
	The Google file system [My Copy] SIGOPS Oper. Syst. Rev. In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles, Vol. 37, No. 5. (2003), pp. 29-43. by Sanjay Ghemawat, Howard Gobioff, Shun T. Leung posted by 50 people mrt2k9 large-scale-ml karhendana pprett electrum MaineC Nicolas_Torzec sachingarg Scis0000002 hgfernan conservatism gtsysqual yingbo rijo urvoy TELEPAT-ES frdr verma7 tatemura fgeller rmbrad pedagand egh ssn JeffreyPalmer xyll cite0000 bouvin scottmoody davidleitner epaulson mzygmunt ljcamargos neilc mafish markls cybrpunk eblood ronnix Semantic-Social-Networks semantic-multicast-routing dopsy wanggy sdw135 aali mdwelsh dmeister dcordeiro jliegl rfonseca
	What Every Computer Scientist Should Know About Floating-Point Arithmetic [My Copy] ACM Computing Surveys, Vol. 23, No. 1. (1991), pp. 5-48. by David Goldberg posted by 15 people ryidle GMariano higepon derek_farn ansobol brian yaroslavvb jrw croys ozarfreo sachingarg dguibert chrisatcite bsilverthorn pedagand
	Building compilers by combining algebras [My Copy] Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 331-338. by G. Kimmell, E. Komp, P. Alexander posted by 5 people jrw voigt mahler brturn Rightscom
	Process Physics: Modelling Reality as Self-Organising Information [My Copy] (8 September 2000) by Reginald T. Cahill, Christopher M. Klinger, Kirsty Kitto posted by 9 people jrw zzkt rogargon scis0000001 rgb anansi Scis0000002 pileWorks TomQ
	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
	Exact Solutions for Network Rewiring Models [My Copy] (7 Jul 2006) by T. S. Evans posted by 4 people ansobol jrw rgb pileWorks
	Using FIX to Handle Errors Without Exceptions, and Other Programming Tricks [My Copy] by Bruce Mcadam posted by 5 people rgrig jrw kinaba SRG_at_UCD pedagand
	Extensible Language Implementation [My Copy] by Donovan M. Kolbly posted by 6 people JeffreyPalmer jrw mahler robennals ryanc Rightscom
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted by 11 people ama08r dherman JacquesC greenrd cedricboidin zednenem msakai bonotake NU-PRL SRG_at_UCD mcclurmc
	The topological structure of asynchronous computability [My Copy] J. ACM, Vol. 46, No. 6. (November 1999), pp. 858-923. by Maurice Herlihy, Nir Shavit posted by 11 people pedagand muli jrw tautologico wnoise euclid meiersi Algorithms metric_embeddings TCS Polytopes
	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
	Graph Theory (Graduate Texts in Mathematics) [My Copy] (15 January 2000) by Reinhard Diestel posted by 10 people pedagand wiedenhoeft ansobol jrw lgadani ted34y estrabd NitinCR ethkim offermann
	Representing Control: A study of the CPS transformation [My Copy] Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391. by Olivier Danvy, Andrzej Filinski posted by 10 people puzza pedagand yoriyuki twleung dherman JeffreyPalmer NU-PRL mvermaat ch jkominek
	Strongly typed heterogeneous collections [My Copy] In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107. by Oleg Kiselyov, Ralf L&\#228;mmel, Keean Schupke posted by 13 people pedagand keigoi JacquesC yallop spl tov iff NU-PRL americovargas msakai marcinzalewski shimomura jimburton
	Introduction to Lambda Calculus [My Copy] In Aspen\aes Workshop on Implementation of Functional Languages, G\"oteborg (1988) by H. P. Barendregt posted by 20 people GorgeousNicko statistic01 yoriyuki pedagand darinm draganigajic JeffreyPalmer yallop pintman glaubersp robertoalamino biehl Lambda the Ultimate namin mvermaat d23 SamB enochguimond MikolkaMikolka logics of knowledge
	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
	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
	From Interpreter to Compiler using Staging and Monads [My Copy] (1998) by T. Sheard, Z. Benaissa posted by 7 people twleung dherman eaubin JeffreyPalmer mahler NU-PRL Rightscom
	Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) [My Copy] (27 October 1994) by Saunders MacLane, Ieke Moerdijk posted by 8 people noam_zeilberger NitinCR christiankissig DavidChemouil mahler hhalvors Rightscom mmarcus
	On Sequence Prediction for Arbitrary Measures [My Copy] (16 Jun 2006) by Daniil Ryabko, Marcus Hutter posted by 4 people ansobol scis0000001 rgb pileWorks
	Interaction Combinators [My Copy] Information and Computation, Vol. 137, No. 1. (25 August 1997), pp. 69-101. by Yves Lafont posted by 5 people voigt scis0000001 yoshihiko rgb pileWorks
	Domain Theory [My Copy] by Corrected, Expanded posted by 6 people dherman jrw cedricboidin msakai scis0000001 NU-PRL
	A scalable content-addressable network [My Copy] In SIGCOMM '01: Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications, Vol. 31, No. 4. (October 2001), pp. 161-172. by Sylvia Ratnasamy, Paul Francis, Mark Handley, Richard Karp, Scott Schenker posted by 41 people yoavtock Reines BelliOS gerold pedagand aliku sit vandywutj diegolino_veneziano graham scottmoody yannawu sterovetta thiagomanel sqazi Jacquelinebfan onafoggynight babyone zicat gexarchakos mudbridge mrkoot adri jpah ransombriggs brogle handsome InformationRetrieval semantic-multicast-routing vanderbilt-multimedia DTN-Multicast SRG_at_UCD P2P CGL-Publications SNE DHT mesh_network jodal dmeister hyhu84 jobriath
	How to make ad-hoc polymorphism less ad hoc [My Copy] In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 60-76. by P. Wadler, S. Blott posted by 12 people pedagand draganigajic dherman JacquesC yallop robennals ben_moseley dwehr RalfMitschke NU-PRL complogic jpbernardy
	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
	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
	Fast and loose reasoning is morally correct [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217. by Nils A. Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons posted by 10 people ama08r ConcertRG spl pedagand voigt p1738j aleks Benja Compilers paper_jac
	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
	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
	Realistic Compilation by Program Transformation [My Copy] In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (1989), pp. 281-292. by Richard Kelsey, Paul Hudak posted by 12 people kvm egh twleung jacob rgrig JacquesC JeffreyPalmer jrw zednenem josefs NU-PRL SRG_at_UCD
	Power laws, Pareto distributions and Zipf's law [My Copy] (29 May 2006) by M. E. J. Newman posted by 68 people danilov Sergey_gerbek ingo Gorzomagnificent Soslab halukbingol makrehchi jotwin pdlug klouie tnhh diamantis flips jfelipe eisdur BelliOS nolodie pietrosperoni egh korakot sccook sriks6711 mafwood A_Olympia JeffreyPalmer derek_farn ansobol devzero nigini yaroslavvb lubrifix mague mapio ecolab garyfeng ChaTo yishuai Borelli bayesian lyongu scottmoody balicea mukundn proportional entropy scis0000001 bigbossman cristinaalp merazzle sugarexpletive mp4man MoritzStefaner mylit gi0rgi0ne ejazasi salvoscellato Philosophy_of_Information Blog_and_Wiki_Research ReadingLab 18th-century_history_culture_and_society semantic-multicast-routing Web2 EntrepreneurialRisks ruffini skheller ulmer quianominorleo dylanwalker
	Adoption and focus: practical linear types for imperative programming [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 13-24. by Manuel Fahndrich, Robert Deline posted by 6 people tov pedagand dherman bec voigt NU-PRL
	A graph-theoretic model for time [My Copy] (2000) by P. Kainen posted by 4 people jrw bunge rgb pileWorks
	Bidirectionalization for free! (Pearl) [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 165-176. by Janis Voigtländer posted by 3 people pedagand msakai voigt
	The essence of compiling with continuations [My Copy] SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 502-514. by Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen posted by 10 people higepon samth JeffreyPalmer yallop dsilva JosephKoshy ryanc NU-PRL pedagand jkominek
	Principal type-schemes for functional programs [My Copy] In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 207-212. by Luis Damas, Robin Milner posted by 10 people ddemange mattmight keigoi spl draganigajic tautologico gkuan shimomura pedagand zuleger
	An evaluation of scalable application-level multicast built using peer-to-peer overlays [My Copy] INFOCOM 2003. Twenty-Second Annual Joint Conference of the IEEE Computer and Communications Societies. IEEE, Vol. 2 (2003), pp. 1510-1520 vol.2. by M. Castro, M. B. Jones, A. M. Kermarrec, et al.A. Rowstron, M. Theimer, H. Wang, A. Wolman posted by 9 people beyondwdq ptony82 pedagand graham brogle SRG_at_UCD P2P DHT dmeister
	P-logic: property verification for Haskell programs [My Copy] by Richard B. Kieburtz posted by 4 people draganigajic dherman NU-PRL pedagand
	Generic unification via two-level types and parameterized modules [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 86-97. by Tim Sheard posted by 5 people draganigajic dalev dherman NU-PRL pedagand
	Views: a way for pattern matching to cohabit with data abstraction [My Copy] In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 307-313. by P. Wadler posted by 9 people pedagand fvogels jimburton samth dherman robennals NU-PRL dfisher spl
	How to write a proof [My Copy] Amer. Math. Monthly, Vol. 102, No. 7. (1995), pp. 600-608. by Leslie Lamport posted by 10 people reconnie michaelbanks kevinstuttgard pedagand ansobol dsquared ddahlem pverstra vrv macc
	A prettier printer [My Copy] Journal of Functional Programming (1999) by Philip Wadler posted by 4 people draganigajic dherman NU-PRL 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
	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
	Monadic Parsing in Haskell [My Copy] Journal of Functional Programming, Vol. 8, No. 4. (1998) by Graham Hutton, Erik Meijer posted by 9 people draganigajic jrw zednenem damaru msakai bunge cognominal Lambda the Ultimate namin
	Computational Comonads and Intensional Semantics [My Copy] In Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991, Vol. 177 (1992), pp. 1-44. by Stephen Brookes, Shai Geva edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts posted by 8 people dherman jrw zednenem msakai dmitri83 EdwardKmett meiersi NU-PRL
	Hybrid type checking [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 245-256. by Cormac Flanagan posted by 8 people ama08r pedagand greenrd dsilva bec janschaefer SRG_at_UCD TU-KL-SoftwareTechnologyGroup
	Categorical Logic and Type Theory [My Copy] (01 December 1998) by B. Jacobs posted by 5 people DavidChemouil mahler msakai bonotake Rightscom
	Categorification [My Copy] (5 Feb 1998) by John C. Baez, James Dolan posted by 8 people Scis0000002 christiankissig ansobol jrw BrendaChng scis0000001 sforcey mmarcus
	Xen and the art of virtualization [My Copy] In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles (2003), pp. 164-177. by Paul Barham, Boris Dragovic, Keir Fraser, et al.Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield posted by 49 people jdgraeve thermostat adit262 raoul1024 priteau pkt zhensong sachingarg mitake akshayk pwais Highly-Available Services at UTCN bmarincas brucellino urvoy Gauravsomani pedagand eolmedo kywk carlblesius muli sammydre diwakergupta dmikurube rahul dcraven criswell baurm vivianniu unitial watersong kartoch takatosi cybrpunk rkb Blog_and_Wiki_Research mgh-lcs WAND hst-bmi SRL sysnet dopsy napvasconcelos yarapavan mrry csong srinivas_krishnan king_yous dmeister
	The Byzantine Generals Problem [My Copy] In Advances in Ultra-Dependable Distributed Systems, N. Suri, C. J. Walter, and M. M. Hugue (Eds.), IEEE Computer Society Press (1995) by Lamport, Shostak, Pease posted by 10 people brothers rahul rgb SRL pileWorks ljcamargos tomek0001 MatsKindahl pcamacho HenryR
	A Taste of Linear Logic [My Copy] In Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, Gd\'ansk (1993) by P. L. Wadler posted by 5 people pedagand twleung dherman tautologico NU-PRL
	The design and implementation of a log-structured file system [My Copy] ACM Trans. Comput. Syst., Vol. 10, No. 1. (February 1992), pp. 26-52. by Mendel Rosenblum, John K. Ousterhout posted by 18 people jweslley pedagand robertjohnsimmons akshayk gtsysqual mogwaing frdr oteri dfabbri shehjart dsilva diwakergupta pool007 thiagomanel Wombat sysnet Desktop Data Grid dmeister
	Intelligent Agents: Theory and Practice [My Copy] Vol. 10, No. 2. (1994), pp. 115-152. by Michael Wooldridge, Nicholas R. Jennings posted by 22 people StFX Centre for Logic and Information sccook cedricboidin benoithv harald stavros jounih pverstra paulclinger scis0000001 rgb mzygmunt remipannequin DaveWebster djp1540 bobstark CLIC logical_cognition macc pileWorks Holonic_Tracilog_Team arasbm
	Ivy: a read/write peer-to-peer file system [My Copy] SIGOPS Oper. Syst. Rev., Vol. 36, No. SI. (2002), pp. 31-44. by Athicha Muthitacharoen, Robert Morris, Thomer M. Gil, Benjie Chen posted by 6 people dmeister pedagand frdr myui thiagomanel Desktop Data Grid
	Social Networks and Collective Action: A Theory of the Critical Mass. III [My Copy] The American Journal of Sociology, Vol. 94, No. 3. (1988), pp. 502-534. by Gerald Marwell, Pamela E. Oliver, Ralph Prahl posted by 43 people thegoose rrbarb fbr aalves peha A_Olympia palakorn dfrankow yish ak jenhur merazzle gennaro 3qe pe3 rgb lianqiao mzygmunt azygmunt fxk mattlandau PaulBHartzog suizan JimFolk ungethym Philosophy_of_Information Blog_and_Wiki_Research Drexel-HCI Drexel-eVoting GroupLens mathgamespatterns ETEC533 dtl vds-arg eni Web2 pileWorks AGH-IISG CSU_School_of_Education LABSS Web2-0_Education yteng2 jago
	Generics for the masses [My Copy] In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 236-243. by Ralf Hinze posted by 8 people draganigajic ancechu samth yallop spl bringert NU-PRL pedagand