pile's Top Recommendations

These recommendations were last updated about 3 hours ago.

	Comprehending Monads [My Copy] In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78. by P. L. Wadler posted by 34 people mahler puzza hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley scis0000001 msn mstone bunge rgb Benja jsala meiersi jasonmc glaubersp ds conal cdiggins SRG_at_UCD pileWorks cognominal benchambers kazuya hayeah mmarcus donniejones18
	Implementation Strategies for First-Class Continuations [My Copy] Higher Order Symbol. Comput., Vol. 12, No. 1. (April 1999), pp. 7-45. by William D. Clinger, Anne H. Hartheimer, Eric M. Ost posted by 13 people assnoodles samth twleung marcoil jacob eaubin JacquesC JeffreyPalmer yallop ryanc tov jkominek NU-PRL
	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
	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
	A Call-by-Need Lambda Calculus [My Copy] In Proceedings of 22nd Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) (1995), pp. 233-246. by Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler posted by 8 people dherman JacquesC rwtodd jrw cedricboidin tautologico kat NU-PRL
	DSL implementation using staging and monads [My Copy] In Domain-Specific Languages (1999), pp. 81-94. by Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic posted by 9 people twleung JacquesC hamish greenrd JeffreyPalmer cedricboidin zednenem NU-PRL SRG_at_UCD
	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
	Building interpreters by composing monads [My Copy] In Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Portland, Oregon, January 17--21, 1994 (1994), pp. 472-492. by Guy Steele edited by Ac posted by 7 people JacquesC rwtodd cedricboidin bunge Benja glaubersp NU-PRL
	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
	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
	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
	The marriage of effects and monads [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 63-74. by Philip Wadler posted by 8 people sourada twleung dherman cedricboidin tautologico ben_moseley scis0000001 NU-PRL
	Once upon a type [My Copy] In Functional Programming Languages and Computer Architecture (1995) by David N. Turner, Philip Wadler, Christian Mossin posted by 11 people dherman JacquesC A_Olympia JeffreyPalmer kschiess cedricboidin tautologico robennals NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	Compiling Embedded Languages [My Copy] In SAIG (2000), pp. 9-27. by Conal Elliott, Sigbjorn Finne, Oege d. de Moor posted by 6 people twleung JacquesC hamish JeffreyPalmer cedricboidin NU-PRL
	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
	Reasoning with continuations II: full abstraction for models of control [My Copy] In Proceedings of the 1990 ACM conference on LISP and functional programming (1990), pp. 161-175. by Dorai Sitaram, Matthias Felleisen posted by 6 people samth twleung JeffreyPalmer cedricboidin dsilva NU-PRL
	Models of continuations without continuations [My Copy] In Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 185-196. by Dorai Sitaram, Matthias Felleisen posted by 7 people samth twleung jacob JacquesC JeffreyPalmer dsilva NU-PRL
	Quasiquotation in Lisp [My Copy] In Partial Evaluation and Semantic-Based Program Manipulation (1999), pp. 4-12. by Alan Bawden posted by 12 people samth dalev twleung marcoil dherman JacquesC hamish JeffreyPalmer rwtodd jkominek jfischer NU-PRL
	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 28 people TU-KL-SoftwareTechnologyGroup janschaefer bfraser 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
	Domain Theory [My Copy] by Corrected, Expanded posted by 6 people dherman jrw cedricboidin msakai scis0000001 NU-PRL
	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
	Growing a Language [My Copy] Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236. by Guy Steele posted by 14 people dmeister azwinkau akuhn onierstrasz samth dherman JacquesC hamish bfraser ryanc tov calvins NU-PRL danlentz
	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
	Monadic Parser Combinators [My Copy] No. NOTTCS-TR-96-4. (1996) by Graham Hutton, Erik Meijer posted by 11 people puzza twleung eaubin JacquesC JeffreyPalmer jrw roi joelh NU-PRL mcclurmc Lambda the Ultimate
	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
	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
	DSL implementation using staging and monads [My Copy] In PLAN '99: Proceedings of the 2nd conference on Domain-specific languages, Vol. 35, No. 1. (January 1999), pp. 81-94. by Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic posted by 10 people bfraser sourada twleung dherman eaubin JacquesC hamish stagediver keigoi NU-PRL
	Improving the static analysis of embedded languages via partial evaluation [My Copy] In Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 16-27. by David Herman, Philippe Meunier posted by 11 people samth dherman jacob JacquesC hamish JeffreyPalmer dsilva andymaule ryanc KarlKlose NU-PRL
	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
	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 28 people pirapira 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
	Foundational Calculi for Programming Languages [My Copy] In The Computer Science and Engineering Handbook (1997) by Benjamin Pierce edited by Allen B. Tucker posted by 14 people snowman rgrig rwtodd jrw cedricboidin pintman sjgaller mrkoot mfrydr Context-driven-testers SRG_at_UCD Desgin-by-Contract complogic ps_ttf
	Category Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience [My Copy] (13 Jun 2003) by R. Brown, T. Porter posted by 7 people ansobol jrw scis0000001 tmiya mstone rgb pileWorks
	Macros that work [My Copy] In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 155-162. by William Clinger, Jonathan Rees posted by 12 people azwinkau mattmight assnoodles samth JeffreyPalmer jrw bdauvergne damaru ryanc tov NU-PRL jkominek
	Growing languages with metamorphic syntax macros [My Copy] In Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 37, No. 3. (March 2002), pp. 31-40. by Claus Brabrand, Michael I. Schwartzbach posted by 11 people samth twleung dherman JacquesC hamish yallop mbravenboer luhong c_m_h NU-PRL dfisher
	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
	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 S. L. P. Simon, Philip Wadler posted by 4 people samth cedricboidin robennals NU-PRL
	Programmable Syntax Macros [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1993), pp. 156-165. by Daniel Weise, Roger F. Crew posted by 9 people assnoodles samth twleung dherman JacquesC hamish cdiggins NU-PRL dfisher
	Polymorphic effect systems [My Copy] In POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 47-57. by J. M. Lucassen, D. K. Gifford posted by 8 people ama08r assnoodles samth twleung pnkfelix tautologico NU-PRL bfraser
	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
	Type Classes in Haskell [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138. by Cordelia V. Hall, Kevin Hammond, S. L. P. Simon, Philip L. Wadler posted by 7 people dherman robennals rgb tov bendiken NU-PRL pileWorks
	Recursion is a computational effect [My Copy] (2000) by D. Friedman, A. Sabry posted by 7 people twleung dherman JacquesC greenrd jrw NU-PRL SRG_at_UCD
	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 monadic combinator compiler compiler [My Copy] (2001) by C. Camarao, L. Figueiredo posted by 6 people twleung JacquesC JeffreyPalmer tautologico zednenem NU-PRL
	Graph mining: Laws, generators, and algorithms [My Copy] ACM Comput. Surv., Vol. 38, No. 1. (2006) by Deepayan Chakrabarti, Christos Faloutsos posted by 41 people senseable-urb 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
	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
	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
	Template meta-programming for Haskell [My Copy] In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 1-16. by Tim Sheard, Simon P. Jones posted by 10 people spl samth twleung dherman JacquesC ryanc bringert wtribbey NU-PRL jimburton
	Red Hat RPM Guide [My Copy] (01 March 2003) by Eric Foster-Johnson posted by 4 people samth cedricboidin NU-PRL Fin
	Modular Object-Oriented Programming with Units and Mixins [My Copy] In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Vol. 34(1) (1999), pp. 94-104. by Robert B. Findler, Matthew Flatt posted by 8 people samth dherman JacquesC JeffreyPalmer zednenem ryanc brothers NU-PRL
	GNU Autoconf, Automake, and Libtool [My Copy] (06 October 2000) by Gary V. Vaughan, Ben Elliston, Tom Tromey, Ian L. Taylor posted by 3 people samth cedricboidin NU-PRL
	Lambda, the ultimate label or a simple optimizing compiler for Scheme [My Copy] In Proceedings of the 1994 ACM conference on LISP and functional programming (1994), pp. 128-139. by William D. Clinger, Lars T. Hansen posted by 9 people dimvar samth dherman eaubin pnkfelix JeffreyPalmer ryanc tov NU-PRL
	Representing monads [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457. by Andrzej Filinski posted by 9 people noam_zeilberger bhoward amp269 twleung dherman JacquesC JeffreyPalmer voigt NU-PRL
	Concurrent Haskell [My Copy] In Conference Record of POPL '96: The $23^\mathrmrd$ ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (FebruaryJanuary--FebruaryApril 1996), pp. 295-308. by Simon P. Jones, Andrew Gordon, Sigbjorn Finne posted by 9 people olegus twleung JeffreyPalmer cedricboidin tautologico Bluetulip tov calvins conal
	Composing monads using coproducts [My Copy] SIGPLAN Not. In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 133-144. by Christoph Lüth, Neil Ghani posted by 7 people christiankissig bulwahn mstone rgb pileWorks pedagand Lambda the Ultimate
	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 25 people MatzeB azwinkau samth pedagand dherman jacob edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert NU-PRL jsiek dfisher fgeller jkominek
	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
	Categorification [My Copy] (5 Feb 1998) by John C. Baez, James Dolan posted by 8 people Scis0000002 christiankissig ansobol jrw BrendaChng scis0000001 sforcey mmarcus
	The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two) [My Copy] (1978) by Guy L. Steele, Gerald J. Sussman posted by 7 people samth hamish JeffreyPalmer ryanc tov NU-PRL hayeah
	Proper tail recursion and space efficiency [My Copy] In Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 174-185. by William D. Clinger posted by 10 people egh samth marcoil pnkfelix JeffreyPalmer dsilva ryanc ajk tov NU-PRL
	On the expressive power of programming languages [My Copy] Sci. Comput. Program., Vol. 17, No. 1-3. (1991), pp. 35-75. by Matthias Felleisen posted by 5 people assnoodles samth JacquesC RalfMitschke NU-PRL
	Synthesizing Object-Oriented and Functional Design to Promote Re-Use [My Copy] In Proceedings of the 12th European Conference on Object-Oriented Programming (1998), pp. 91-113. by Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman posted by 8 people samth dherman JacquesC A_Olympia spl NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	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
	Arrows, like Monads, are Monoids [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Vol. 158 (5 May 2006), pp. 219-236. by Chris Heunen, Bart Jacobs posted by 8 people christiankissig jrw zednenem oryp6518 mstone rgb pileWorks cognominal
	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
	Implementing DSLs in metaOCaml [My Copy] In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 41-42. by Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar Swadi, Walid Taha posted by 9 people twleung dherman JacquesC hamish JeffreyPalmer lyongu NU-PRL Lambda the Ultimate namin
	An overview of a Formal Framework for Managing Mathematics [My Copy] (2003) by W. Farmer, M. Mohrenschildt posted by 3 people JacquesC scis0000001 NU-PRL
	the denotational semantics of staged execution of open code [My Copy] (2004) by A. Pitts, T. Sheard posted by 4 people twleung eaubin JacquesC NU-PRL
	Notable design patterns for domain-specific languages [My Copy] Journal of Systems and Software, Vol. 56, No. 1. (1 February 2001), pp. 91-99. by D. Spinellis posted by 15 people thoni78 pnpo RalfMitschke twleung JacquesC hamish JeffreyPalmer stagediver leonardo francoisl dynamix klinsz mldechert NU-PRL JavaJoe
	Revised$^5$ Report on the Algorithmic Language Scheme [My Copy] ACM SIGPLAN Notices, Vol. 33, No. 9. (1998), pp. 26-76. by Richard Kelsey, William Clinger, Jonathan R. (editors) posted by 10 people mattmight higepon samth dherman pnkfelix alec tov NU-PRL dfisher d23
	Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 249-262. by Geoffrey Washburn, Stephanie Weirich posted by 5 people keigoi dherman eaubin scis0000001 NU-PRL
	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
	Reasoning about continuations with control effects [My Copy] In PLDI '89: Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, Vol. 24, No. 7. (July 1989), pp. 218-226. by P. Jouvelot, D. K. Gifford posted by 6 people samth twleung dherman tautologico dsilva NU-PRL
	Predicate Dispatching: A Unified Theory of Dispatch [My Copy] In ECOOP '98: 12th European Conference on Object-Oriented Programming, Brussels, Belgium, Vol. 1445 (1998), pp. 186-211. by Michael D. Ernst, Crag Kaplan, Craig Chambers posted by 10 people twleung JacquesC hamish A_Olympia greenrd water451 NU-PRL Philosophy_of_Information Blog_and_Wiki_Research SRG_at_UCD
	Linear logic, monads and the lambda calculus [My Copy] In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, Brunswick, New Jersey (jul 1996) by N. Benton, P. Wadler posted by 6 people dherman tautologico glaubersp ds NU-PRL kozima
	There's no substitute for linear logic [My Copy] (December 1991) by P. Wadler posted by 5 people twleung dherman JacquesC tautologico NU-PRL
	Spontaneous evolution of modularity and network motifs [My Copy] Proceedings of the National Academy of Sciences of the United States of America, Vol. 102, No. 39. (27 September 2005), pp. 13773-13778. by Nadav Kashtan, Uri Alon posted by 30 people karthikraman roys Modularity in evolutionary algorithms rsantana vtraag anphony ocs saket mcphee marimo monod Borelli alexg i41m cmm Peterfine javierFellow rgb mattjb rebeccamancy cwr MathBio FAB-lab ComplexAdaptiveSystems pileWorks DSTO-CAS ColDyn phreeza stefanoallesina carlk
	Bridging the gulf: a common intermediate language for ML and Haskell [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 49-61. by Simon P. Jones, Mark Shields, John Launchbury, Andrew Tolmach posted by 7 people JacquesC JeffreyPalmer rwtodd voigt spl kowey NU-PRL
	Combinators for Layered Software Architectures [My Copy] by Martijn M. Schrage, Johan Jeuring, Doaitse Swierstra posted by 6 people twleung JacquesC hamish JeffreyPalmer stagediver NU-PRL
	Domain-Specific Languages: An Annotated Bibliography [My Copy] SIGPLAN Notices, Vol. 35, No. 6. (2000), pp. 26-36. by Arie v. van Deursen, Paul Klint, Joost Visser posted by 8 people twleung JacquesC hamish JeffreyPalmer mldechert NU-PRL jimburton JavaJoe
	A Bytecode-Compiled, Type-safe, Multi-Stage Language [My Copy] by Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy posted by 5 people twleung JacquesC JeffreyPalmer NU-PRL Ema
	Putting Type Annotations to Work [My Copy] In Conference Record of POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersberg Beach, Florida (1996), pp. 54-67. by Martin Odersky, Konstantin Läufer posted by 5 people twleung JacquesC JeffreyPalmer NU-PRL pedagand
	Reflections on Standard ML [My Copy] In Functional Programming, Concurrency, Simulation and Automated Reasoning (1993), pp. 32-46. by David B. Macqueen posted by 5 people samth twleung JeffreyPalmer lyongu NU-PRL
	On Sequence Prediction for Arbitrary Measures [My Copy] (16 Jun 2006) by Daniil Ryabko, Marcus Hutter posted by 4 people ansobol scis0000001 rgb pileWorks
	Observable Sequentiality and Full Abstraction [My Copy] In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992), pp. 328-342. by Robert Cartwright, Matthias Felleisen posted by 4 people eaubin JacquesC ds NU-PRL
	Java(TM) Language Specification, The (3rd Edition) (Java Series) [My Copy] (08 July 2005) by James Gosling, Bill Joy, Guy Steele, Gilad Bracha posted by 13 people samth greenrd plaugg dullhunk tov 7oby bringert NU-PRL SRG_at_UCD cruediger federicopaoloni myui sven_luzar
	Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned [My Copy] SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 257-269. by Olin Shivers posted by 6 people samth jrw dsilva pejo tov NU-PRL
	Rabbit: A Compiler for Scheme [My Copy] (1978) by Guy L. Steele posted by 9 people mattmight dimvar samth JeffreyPalmer dsilva calvins eblood NU-PRL bfraser
	Notions of Computation Determine Monads [My Copy] In Foundations of Software Science and Computation Structure (2002), pp. 342-356. by Gordon D. Plotkin, John Power posted by 10 people noam_zeilberger greenrd JeffreyPalmer cedricboidin zednenem mahler mstone glaubersp Rightscom SRG_at_UCD
	Learning the parts of objects by non-negative matrix factorization. [My Copy] Nature, Vol. 401, No. 6755. (21 October 1999), pp. 788-791. by D. D. Lee, H. S. Seung posted by 23 people bcao bertelsen kohei-h ppeeling JacquesC davidr dragonrez anar jfr yas yama_tah pliz scis0000001 oannes cerkut atbrew zeppe NU-PRL T_lab Regulomics_UCHSC contact-id kintoki cager
	Quantifying social group evolution [My Copy] Nature, Vol. 446, No. 7136. (05 April 2007), pp. 664-667. by Gergely Palla, Albert-Laszlo Barabasi, Tamas Vicsek posted by 66 people acrmartins aaltenburger makrehchi gagliol jsaramak normaali vtraag pawelsobko haewoon stargazers muraken pick600 Bolozna salmanjamali Kovanen RolandKappe MehdiMoussaid davidecellai A_Olympia FG davidleitner locatellimp yama_tah worksmarts tystl ddahlem nickluscombe scis0000001 AbnerCYH merazzle hala54 lshaw ei sato-ryu guererk azygmunt adriandefroment JeffreyDemaine cckan jaspervoskuilen ibschwartz CareyNadell zwang RBSCLUBFIJI rcrane fionajay ganden koles Philosophy_of_Information Blog_and_Wiki_Research Semantic-Social-Networks EBI-regulation ComplexAdaptiveSystems CooperativeWriting CISTI-Research AGH-IISG ecoo-ce compbio CSBBGraphTheory ruffini maralena tomhebbron styliani jasonn lfriedl tnhh
	Modeling Erlang in the pi-calculus [My Copy] In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77. by Thomas Noll, Chanchal K. Roy posted by 11 people ama08r tautologico dherman bfraser keigoi tov janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup mcclurmc Lambda the Ultimate
	Lazy vs Strict [My Copy] ACM Computing Surveys, Vol. 28, No. 2. (1996), pp. 318-320. by Philip Wadler posted by 5 people dherman rwtodd cedricboidin ben_moseley NU-PRL
	Template meta-programming for Haskell [My Copy] SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75. by Tim Sheard, Simon P. Jones posted by 12 people shimomura samth marcin msakai kozima keigoi TTSY dhag NU-PRL complogic mcclurmc jpbernardy
	Control flow analysis in scheme [My Copy] In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 164-174. by O. Shivers posted by 9 people robertjohnsimmons mattmight dimvar higepon samth jacob tov NU-PRL pedagand
	Representing layered monads [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 175-188. by Andrzej Filinski posted by 5 people ConcertRG samth JeffreyPalmer voigt NU-PRL
	Automatically Restructuring Programs for the Web [My Copy] Automated Software Engg., Vol. 11, No. 4. (October 2004), pp. 337-364. by Jacob Matthews, Robert B. Findler, Paul Graunke, Shriram Krishnamurthi, Matthias Felleisen posted by 6 people samth jacob JeffreyPalmer yallop NU-PRL dfisher
	$My PDF l&\#228;mmel_03_scrap.pdf$ Scrap your boilerplate: a practical design pattern for generic programming [My Copy] In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, Vol. 38, No. 3. (March 2003), pp. 26-37. by Ralf L&\#228;mmel, Simon P. Jones posted by 8 people spl mkis samth greenrd yallop NU-PRL SRG_at_UCD americovargas
	$My PDF l&\#228;mmel_04_scrap.pdf$ Scrap more boilerplate: reflection, zips, and generalised casts [My Copy] In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 244-255. by Ralf L&\#228;mmel, Simon P. Jones posted by 7 people samth greenrd yallop spl NU-PRL SRG_at_UCD americovargas
	$My PDF voigtl&\#228;nder_02_concatenate.pdf$ Concatenate, reverse and map vanish for free [My Copy] In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 14-25. by Janis Voigtl&\#228;nder posted by 6 people JacquesC rwtodd pejo voigt msakai NU-PRL