zednenem's Top Recommendations

These recommendations were last updated 38 minutes ago.

	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	Macros that Compose: Systematic Macro [My Copy] by Programming O. Kiselyov posted by 7 people twleung dherman hamish jrw ryanc NU-PRL dfisher
	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
	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 11 people mattmight assnoodles samth JeffreyPalmer jrw bdauvergne damaru ryanc tov NU-PRL jkominek
	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
	$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
	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
	Linguistic Reuse [My Copy] (2001) by S. Krishnamurthi posted by 7 people samth dherman hamish jrw ryanc NU-PRL dfisher
	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 25 people 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
	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 9 people pedagand yoriyuki twleung dherman JeffreyPalmer NU-PRL mvermaat ch jkominek
	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 6 people fgeller msakai spl dherman jrw NU-PRL
	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
	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
	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
	The ZINC experiment : an economical implementation of the ML language [My Copy] No. RT-0117. (February 1990) by Xavier Leroy posted by 6 people twleung dherman eaubin JeffreyPalmer JosephKoshy NU-PRL
	CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A. [My Copy] (1994) by Henry G. Baker posted by 6 people dherman JeffreyPalmer tautologico pjd NU-PRL jkominek
	Macros that Reach Out and Touch Somewhere [My Copy] by Unpublished I. Report posted by 6 people dherman pnkfelix JeffreyPalmer mbravenboer ryanc 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
	What are principal typings and what are they good for? [My Copy] In ACM Symposium on Principles of Programming Languages (POPL), St.~Petersburg Beach, Florida (1996), pp. 42-53. by Trevor Jim edited by Ac posted by 5 people twleung dherman JeffreyPalmer croys NU-PRL
	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
	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
	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
	No Assembly Required: Compiling Standard ML to C [My Copy] ACM Letters on Programming Languages and Systems, Vol. 1, No. 2. (June 1992), pp. 161-177. by David Tarditi, Peter Lee, Anurag Acharya posted by 7 people samth dherman hamish JeffreyPalmer anoopsarkar satrajit NU-PRL
	Real-time FRP [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 146-156. by Zhanyong Wan, Walid Taha, Paul Hudak posted by 5 people dherman JeffreyPalmer dsilva NU-PRL dfisher
	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
	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
	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
	The evolution of Lisp [My Copy] In The second ACM SIGPLAN conference on History of programming languages, Vol. 28, No. 3. (March 1993), pp. 231-270. by Guy Steele, Richard P. Gabriel posted by 9 people egh samth dherman hamish jrw zzkt 4vgacias jkominek 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
	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
	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
	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
	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
	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
	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
	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
	A Universal Scripting Framework [My Copy] by Or L. The posted by 5 people marcoil dherman hamish JeffreyPalmer NU-PRL
	A new approach to the construction of Generalized LR parsing algorithms [My Copy] (1997) by M. Pardo, D. Souto, M. Ferro posted by 4 people dherman jrw ryanc 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
	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
	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
	A new look at pattern matching in abstract data types [My Copy] In ICFP '96: Proceedings of the first ACM SIGPLAN international conference on Functional programming, Vol. 31, No. 6. (June 1996), pp. 110-121. by Pedro P. Gostanza, Ricardo Pe&\#241;a, Manuel N&\#250;&\#241;ez posted by 4 people twleung dherman jrw NU-PRL
	Type-directed partial evaluation [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 242-257. by Olivier Danvy posted by 4 people dherman JeffreyPalmer keigoi NU-PRL
	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
	Code reuse through polymorphic variants [My Copy] (2000) by J. Garrigue posted by 5 people dherman hellige JeffreyPalmer lyongu NU-PRL
	Implementing Extensible Compilers [My Copy] In Workshop on Multiparadigm Programming with Object-Oriented Languages (June # 2001) by Matthias Zenger, Martin Odersky posted by 5 people dherman jrw mbravenboer NU-PRL dfisher
	Extensible Syntax with Lexical Scoping [My Copy] No. 121. (1994) by Luca Cardelli, Florian Matthes, Martin Abadi posted by 6 people dherman jrw mbravenboer c_m_h NU-PRL dfisher
	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
	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
	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
	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
	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
	Combinator parsers: From toys to tools [My Copy] (2001) by S. Swierstra posted by 4 people dherman jrw NU-PRL dfisher
	Language embeddings that preserve staging and safety [My Copy] (19 Sep 2005) by Todd L. Veldhuizen posted by 3 people dherman JeffreyPalmer NU-PRL
	Online type-directed partial evaluation for dynamically-typed languages [My Copy] by E. Sumii, N. Kobayashi posted by 3 people dherman JeffreyPalmer NU-PRL
	Pretty printing with lazy dequeues [My Copy] ACM Trans. Program. Lang. Syst., Vol. 27, No. 1. (January 2005), pp. 163-184. by Olaf Chitil posted by 5 people dherman rgrig NU-PRL SRG_at_UCD mzp
	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
	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
	There's no substitute for linear logic [My Copy] (December 1991) by P. Wadler posted by 5 people twleung dherman JacquesC tautologico NU-PRL
	There and back again: arrows for invertible programming [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 86-97. by Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, Rinus Plasmeijer posted by 7 people greenrd tautologico voigt mahler mstone Rightscom SRG_at_UCD
	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
	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
	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
	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
	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 9 people sourada twleung dherman eaubin JacquesC hamish stagediver keigoi NU-PRL
	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
	Associated type synonyms [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 241-253. by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones posted by 8 people spl conal greenrd yallop kinaba voigt SRG_at_UCD americovargas
	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
	Packrat Parsing: a practical linear-time algorithm with backtracking [My Copy] (Sep 2002) by Bryan Ford posted by 4 people dherman jrw cdiggins NU-PRL
	Phobos: A front-end approach to extensible compilers [My Copy] (2002) by A. Granicz, J. Hickey posted by 7 people sourada twleung dherman jacob JacquesC damaru NU-PRL
	How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules [My Copy] by Oleg Kiselyov posted by 5 people twleung dherman ryanc NU-PRL dfisher
	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
	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
	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
	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