Sean Leather's Top Recommendations

These recommendations were last updated 40 minutes ago.

	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
	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
	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
	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
	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
	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
	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
	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
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted by 24 people wain 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
	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
	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 24 people 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
	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
	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
	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
	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
	SSA is functional programming [My Copy] SIGPLAN Not., Vol. 33, No. 4. (April 1998), pp. 17-20. by Andrew W. Appel posted by 10 people samth dherman greenrd yallop JosephKoshy pejo voigt madhadron NU-PRL SRG_at_UCD
	Dependent types in practical programming [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227. by Hongwei Xi, Frank Pfenning posted by 13 people ama08r shimomura msakai rgrig yallop tautologico japple voigt kavabean geishagirls rysavy SRG_at_UCD jimburton
	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
	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
	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
	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
	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
	A poor man's concurrency monad [My Copy] J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323. by Koen Claessen posted by 8 people jcreed draganigajic dalev keigoi janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup pedagand
	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
	Lightweight Extensible Records for Haskell [My Copy] (1999) by M. Jones, S. Jones posted by 8 people dherman greenrd msakai ryanc ben_moseley NU-PRL SRG_at_UCD americovargas
	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
	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
	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
	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
	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
	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
	Stochastic lambda calculus and monads of probability distributions [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 154-165. by Norman Ramsey, Avi Pfeffer posted by 7 people dherman tautologico mahler mstone NU-PRL Rightscom pedagand
	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
	P-logic: property verification for Haskell programs [My Copy] by Richard B. Kieburtz posted by 4 people draganigajic dherman NU-PRL pedagand
	A prettier printer [My Copy] Journal of Functional Programming (1999) by Philip Wadler posted by 4 people draganigajic dherman NU-PRL 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
	The Zipper [My Copy] Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554. by T. GÉRARD HUE posted by 13 people jcreed robertjohnsimmons dimvar draganigajic yallop kowey jonathlela pedagand functional programming mcclurmc Lambda the Ultimate namin sclv
	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
	Continuation-Based Program Transformation Strategies [My Copy] J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180. by Mitchell Wand posted by 13 people olegus kvm samth twleung rgrig JacquesC JeffreyPalmer voigt pile nominolo NU-PRL SRG_at_UCD americovargas
	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
	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
	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
	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
	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
	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 azwinkau akuhn onierstrasz samth dherman JacquesC hamish bfraser ryanc tov calvins NU-PRL danlentz dmeister
	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
	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
	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
	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
	A New Way of Debugging Lisp Programs [My Copy] (1998) by C. Flanagan, M. Felleisen posted by 5 people pedagand higepon samth JeffreyPalmer NU-PRL
	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
	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
	A principled approach to operating system construction in Haskell [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128. by Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach posted by 8 people draganigajic pejo voigt hannes mahler mstone Rightscom pedagand
	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
	Programming language challenges in systems codes: why systems programmers still use C, and what to do about it [My Copy] In PLOS '06: Proceedings of the 3rd workshop on Programming languages and operating systems (2006), 9. by Jonathan Shapiro posted by 4 people ama08r leosteinfeld keigoi pedagand
	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
	Categories for the Working Mathematician (Graduate Texts in Mathematics) [My Copy] (25 September 1998) by Saunders M. Lane posted by 16 people robotact shivak pedagand ansobol mahler BarrosH msakai bonotake aleks mstone NitinCR conal Rightscom Compilers masteraka mmarcus
	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
	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
	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
	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
	Deforestation: Transforming Programs to Eliminate Trees [My Copy] In ESOP '88. European Symposium on Programming, Nancy, France, 1988 (Lecture Notes in Computer Science, vol. 300) (1988), pp. 344-358. by P. Wadler posted by 6 people draganigajic wadler calvins cdiggins americovargas pedagand
	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
	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
	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
	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
	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
	Verifying haskell programs using constructive type theory [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73. by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell posted by 8 people shimomura jimburton greenrd voigt p1738j msakai meiersi SRG_at_UCD
	The semantics of future and its use in program optimization [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 209-220. by Cormac Flanagan, Matthias Felleisen posted by 9 people mattmight robertjohnsimmons samth A_Olympia dsilva voigt NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	A Polymorphic Type System for Extensible Records and Variants [My Copy] No. NOTTCS-TR-96-3. (November 1996) by Benedict R. Gaster, Mark P. Jones posted by 9 people dherman JeffreyPalmer sstrickl tautologico thsutton lyongu ryanc NU-PRL 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
	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
	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
	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
	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
	Typing dynamic typing [My Copy] In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 157-166. by Arthur I. Baars, S. Doaitse Swierstra posted by 6 people twleung dherman tautologico zednenem NU-PRL americovargas
	A New Approach to Generic Functional Programming [My Copy] In Symposium on Principles of Programming Languages (2000), pp. 119-132. by Ralf Hinze posted by 4 people draganigajic kavabean americovargas pedagand
	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
	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
	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
	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
	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
	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
	Haskell session types with (almost) no class [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 25-36. by Riccardo Pucella, Jesse A. Tov posted by 5 people ama08r pedagand shimomura tov keigoi
	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
	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
	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
	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
	How to Add Laziness to a Strict Language Without Even Being Odd [My Copy] by Philip Wadler posted by 5 people dherman greenrd zednenem NU-PRL SRG_at_UCD
	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
	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
	Scrap your nameplate: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 180-191. by James Cheney posted by 5 people greenrd voigt msakai keigoi SRG_at_UCD
	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
	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
	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
	Design patterns as higher-order datatype-generic programs [My Copy] In WGP '06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (2006), pp. 1-12. by Jeremy Gibbons posted by 4 people fvogels americovargas marcinzalewski pedagand
	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
	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
	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
	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