americovargas's Top Recommendations

These recommendations were last updated about 2 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
	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
	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
	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
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted by 14 people draganigajic twleung dherman greenrd cedricboidin msakai bonotake tov calvins NU-PRL SRG_at_UCD BMeph jimburton Lambda the Ultimate
	Domain specific embedded compilers [My Copy] In Domain-Specific Languages (1999), pp. 109-122. by Daan Leijen, Erik Meijer posted by 16 people pedagand draganigajic sourada twleung dherman jacob JacquesC hamish JeffreyPalmer cedricboidin msakai ryanc NU-PRL jimburton Lambda the Ultimate dfisher
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	Parsing expression grammars: a recognition-based syntactic foundation [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 111-122. by Bryan Ford posted by 7 people pedagand fgeller msakai spl dherman jrw 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
	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
	Simple unification-based type inference for GADTs [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 50-61. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn posted by 7 people keigoi draganigajic spl bringert shimomura mcclurmc pedagand
	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
	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
	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
	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
	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
	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
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted by 10 people pedagand greenrd jrw greg_restall zednenem josefs voigt msakai EdwardKmett SRG_at_UCD
	An Introduction to Dependent Type Theory [My Copy] In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 1-41. by Gilles Barthe, Thierry Coquand posted by 7 people darinm dherman tautologico spl ryanc NU-PRL jimburton
	A critique of Abelson and Sussman or why calculating is better than scheming [My Copy] SIGPLAN Not., Vol. 22, No. 3. (March 1987), pp. 83-94. by P. Wadler posted by 11 people ama08r claudiamichelle jkominek spl tarampam samth dherman tautologico croys ben_moseley NU-PRL
	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
	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
	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
	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
	P-logic: property verification for Haskell programs [My Copy] by Richard B. Kieburtz posted by 4 people draganigajic dherman NU-PRL pedagand
	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
	A prettier printer [My Copy] Journal of Functional Programming (1999) by Philip Wadler posted by 4 people draganigajic dherman NU-PRL pedagand
	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
	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
	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
	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
	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
	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
	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
	Foundations for structured programming with GADTs [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308. by Patricia Johann, Neil Ghani posted by 8 people ama08r talototo spl draganigajic hellige msakai jimburton Lambda the Ultimate
	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
	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
	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
	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
	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
	The semantic elegance of applicative languages [My Copy] In FPCA '81: Proceedings of the 1981 conference on Functional programming languages and computer architecture (1981), pp. 85-92. by D. A. Turner posted by 3 people pedagand draganigajic spl
	Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs [My Copy] Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 613-641. by John Backus posted by 13 people brothers amp269 draganigajic pedagand egh creswick joost spl mrsmond Guff32 mdekruijf artur bendiken
	Imperative functional programming [My Copy] In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 71-84. by Simon, Philip Wadler posted by 3 people draganigajic spl pedagand
	First-class polymorphism with type inference [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 483-496. by Mark P. Jones posted by 3 people draganigajic spl pedagand
	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 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
	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
	Why Functional Programming Matters [My Copy] Computer Journal, Vol. 32, No. 2. (1989), pp. 98-107. by J. Hughes posted by 12 people mattmight jweslley pedagand draganigajic joelh lomeo pilho calvins functional programming mcclurmc sclv jpbernardy
	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
	Functional pearl: implicit configurations--or, type classes reflect the values of types [My Copy] In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 33-44. by Oleg Kiselyov, Chung-Chieh Shan posted by 8 people mstone hellige greenrd yallop zednenem AndreasSchropp SRG_at_UCD jimburton
	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
	Bananas in space: extending fold and unfold to exponential types [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 324-333. by Erik Meijer, Graham Hutton posted by 8 people blog01 JacquesC jyasskin voigt msakai dmitri83 NU-PRL spl
	Typed Contracts for Functional Programming [My Copy] Lecture Notes in Computer Science, Vol. 3945 (January 2006), pp. 208-225. by Ralf Hinze, Johan Jeuring, Andres Lã¶h posted by 6 people Scis0000002 spl greenrd craigtalbert jpbernardy SRG_at_UCD
	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
	Template meta-programming for haskell [My Copy] (2002) by T. Sheard, S. Jones posted by 7 people draganigajic twleung greenrd cedricboidin SRG_at_UCD Lambda the Ultimate namin
	Recursion schemes from comonads [My Copy] Nordic J. of Computing, Vol. 8, No. 3. (2001), pp. 366-390. by Tarmo Uustalu, Varmo Vene, Alberto Pardo posted by 5 people spl greenrd zednenem EdwardKmett SRG_at_UCD
	Fold and unfold for program semantics [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 280-288. by Graham Hutton posted by 5 people draganigajic mcclurmc Lambda the Ultimate msakai spl
	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
	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
	Composable and compilable macros: You want it when [My Copy] (2002) by M. Flatt posted by 12 people sourada assnoodles samth dherman pnkfelix ryanc tov jkominek c_m_h cdiggins NU-PRL dfisher
	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
	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
	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
	A comparative study of language support for generic programming [My Copy] In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 115-134. by Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock posted by 4 people spl dherman voigt NU-PRL
	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
	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
	Dynamic optimization for functional reactive programming using generalized algebraic data types [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 54-65. by Henrik Nilsson posted by 10 people greenrd zednenem josefs voigt robennals conal serebryakov SRG_at_UCD blue_entropy bhuber
	Typeful Programming [My Copy] In Formal Description of Programming Concepts (1991), pp. 431-507. by Luca Cardelli edited by E. J. Neuhold, M. Paul posted by 8 people draganigajic rgrig amorkan lyongu ds SRG_at_UCD Lambda the Ultimate jimburton
	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
	The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Series) [My Copy] (01 May 1987) by Simon posted by 5 people pedagand tautologico Benja benchambers spl
	Encoding Information Flow in Haskell [My Copy] In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006) by Peng Li, Steve Zdancewic posted by 10 people ama08r shimomura michaelbanks draganigajic msakai criswell keigoi scavadini tesissvc pedagand
	Polytypic values possess polykinded types [My Copy] Science of Computer Programming, Vol. 43, No. 2-3. ( 2002), pp. 129-159. by Ralf Hinze posted by 3 people draganigajic yallop pedagand
	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
	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 New Way of Debugging Lisp Programs [My Copy] (1998) by C. Flanagan, M. Felleisen posted by 5 people pedagand higepon samth JeffreyPalmer NU-PRL
	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
	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
	Lambda: The Ultimate Imperative [My Copy] (1976) by Guy L. Steele, Gerald J. Sussman posted by 11 people samth numata rahul Benja ajk tov brothers NU-PRL SRL mbrentharp Lambda the Ultimate
	Packrat Parsing: Simple, Powerful, Lazy, Linear Time [My Copy] In Proceedings of the 2002 International Conference on Functional Programming (Oct 2002) by Bryan Ford posted by 8 people mattmight draganigajic dherman jrw NU-PRL Lambda the Ultimate namin donniejones18
	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
	The next 700 programming languages [My Copy] Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166. by P. J. Landin posted by 20 people azwinkau robertjohnsimmons bfraser ConcertRG spl josephholsten brothers RalfMitschke jkominek cedricboidin wnoise mbravenboer pintman bunge yang tov jwm0123 calvins flavian_vasile conal
	A monadic combinator compiler compiler [My Copy] (2001) by C. Camarao, L. Figueiredo posted by 6 people twleung JacquesC JeffreyPalmer tautologico zednenem NU-PRL
	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
	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
	Termination checking with types [My Copy] (2002) by A. Abel posted by 7 people shimomura msakai greenrd zednenem SRG_at_UCD ardt Lambda the Ultimate