tautologico's Top Recommendations

These recommendations were last updated about 5 hours 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
	On the Expressive Power of Programming Languages [My Copy] In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151. by Matthias Felleisen edited by N. Jones posted by 23 people samth pedagand dherman jacob edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert NU-PRL jsiek dfisher fgeller jkominek
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	Macros that Compose: Systematic Macro [My Copy] by Programming O. Kiselyov posted by 7 people twleung dherman hamish jrw ryanc 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
	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
	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
	Domain Theory [My Copy] by Corrected, Expanded posted by 6 people dherman jrw cedricboidin msakai scis0000001 NU-PRL
	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
	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
	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
	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
	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
	Linguistic Reuse [My Copy] (2001) by S. Krishnamurthi posted by 7 people samth dherman hamish jrw ryanc NU-PRL dfisher
	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
	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
	Macros and Preprocessing in Haskell [My Copy] (1999) by K. Wansbrough posted by 6 people dherman jrw zednenem ryanc NU-PRL dfisher
	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
	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
	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
	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
	Attribute grammars as a functional programming paradigm [My Copy] In Functional Programming Languages and Computer Architecture (1987), pp. 154-173. by Thomas Johnsson posted by 6 people dherman jrw zednenem mbravenboer NU-PRL dfisher
	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
	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
	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
	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
	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 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
	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
	Scannerless generalized-LR parsing [My Copy] by E. Visser posted by 4 people dherman jrw kavabean 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
	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
	Making a fast curry: push/enter vs. eval/apply for higher-order languages [My Copy] In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 4-15. by Simon Marlow, Simon P. Jones posted by 4 people dherman jrw pejo NU-PRL
	Units: Cool Modules for HOT Languages [My Copy] In Proceedings of the ACM SIGPLAN~'98 Conference on Programming Language Design and Implementation (1998), pp. 236-248. by Matthew Flatt, Matthias Felleisen posted by 6 people dherman JeffreyPalmer zednenem lyongu ryanc 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
	Dynamically Scoped Functions for Runtime Modification [My Copy] by Pascal Costanza posted by 4 people dherman jrw alec NU-PRL
	Combinator parsers: From toys to tools [My Copy] (2001) by S. Swierstra posted by 4 people dherman jrw NU-PRL dfisher
	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
	A Syntactic Theory of Dynamic Binding [My Copy] In International Joint Conference on Theory and Practice of Software Development (TAPSOFT/{FASE}'97), Vol. 1214 (apr 1997), pp. 727-741. by Luc Moreau posted by 4 people dherman jrw alec NU-PRL
	Relational Properties of Domains [My Copy] Information and Computation, Vol. 127, No. 2. (1996), pp. 66-90. by Andrew M. Pitts posted by 3 people dherman jrw NU-PRL
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	Macros that Reach Out and Touch Somewhere [My Copy] by Unpublished I. Report posted by 6 people dherman pnkfelix JeffreyPalmer mbravenboer ryanc 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
	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
	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
	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
	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
	Code reuse through polymorphic variants [My Copy] (2000) by J. Garrigue posted by 5 people dherman hellige JeffreyPalmer lyongu 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
	The Small-World Phenomenon: An Algorithmic Perspective [My Copy] In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000) by Jon Kleinberg posted by 50 people ariels pirapira semantic01 brewbooks mhofree sototozo pick600 camster mercutio korakot twleung A_Olympia khop01 ansobol macartisan jrw xxc zqshen nkorf rahul srinaths lyongu ddahlem scis0000001 bigbossman merazzle jwdietrich pcchen001 luk jpah deysandeep furykerry Philosophy_of_Information dbk-lab Blog_and_Wiki_Research GraphVis Semantic-Social-Networks Wikipedia SRL Cybernetics oktave-labs Community_SSTZ gvdh Social Web casst122 mpotamias kaks paulovn pedagand wangjava
	Aspect-Oriented Compilers [My Copy] Lecture Notes in Computer Science, Vol. 1799 (2000) by Oege d. de Moor, Simon Peyton-Jones, Eric V. Van Wyk posted by 7 people twleung dherman JacquesC A_Olympia NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	Jiazzi: New-Age Components for Old-Fashioned Java [My Copy] In Proc. of OOPSLA (oct 2001) by S. Mcdirmid, M. Flatt, W. Hsieh posted by 5 people samth twleung dherman ryanc 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
	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
	A Universal Scripting Framework [My Copy] by Or L. The posted by 5 people marcoil dherman hamish JeffreyPalmer 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
	Inheritance is not subtyping [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 125-135. by William R. Cook, Walter Hill, Peter S. Canning posted by 8 people Security in SOA emiliorp dherman amorkan lyongu ryanc NU-PRL mcclurmc
	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
	Meta-programming with Concrete Object Syntax [My Copy] In The ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (2002), pp. 299-315. by Eelco Visser posted by 7 people assnoodles twleung dherman JacquesC mbravenboer stagediver 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
	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
	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
	Concrete syntax for data objects in functional languages [My Copy] In LFP '88: Proceedings of the 1988 ACM conference on LISP and functional programming (1988), pp. 96-105. by Annika Aasa, Kent Petersson, Dan Synek posted by 4 people twleung dherman JacquesC NU-PRL
	Pointcuts and advice in higher-order languages [My Copy] In AOSD '03: Proceedings of the 2nd international conference on Aspect-oriented software development (2003), pp. 158-167. by David B. Tucker, Shriram Krishnamurthi posted by 7 people twleung dherman plaugg dsilva guyomarj mig29x NU-PRL
	From control effects to typed continuation passing [My Copy] In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 139-149. by Hayo Thielecke posted by 4 people samth twleung dherman NU-PRL
	Optimising Embedded DSLs using Template [My Copy] by Haskell S. Seefried posted by 5 people dherman jacob cedricboidin zednenem 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
	A Monadic Categorical Semantics for Threads [My Copy] by Jonathan Sobel, Steven E. Ganz, Daniel P. Friedman, Mitchell Wand posted by 11 people puzza dalev jrw zednenem bfraser dmitri83 EdwardKmett jsala neuralwarp NU-PRL ps_ttf
	Language embeddings that preserve staging and safety [My Copy] (19 Sep 2005) by Todd L. Veldhuizen posted by 3 people dherman JeffreyPalmer NU-PRL
	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
	Online type-directed partial evaluation for dynamically-typed languages [My Copy] by E. Sumii, N. Kobayashi posted by 3 people dherman JeffreyPalmer NU-PRL
	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
	Subtyping Recursive Types [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 15, No. 4. (September 1993), pp. 575-631. by Roberto M. Amadio, Luca Cardelli posted by 5 people dherman pnkfelix amorkan lyongu NU-PRL
	Value Recursion in Monadic Computations [My Copy] (2002) by L. Erkok posted by 5 people dherman glaubersp NU-PRL cognominal zednenem
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted by 4 people draganigajic dherman Benja NU-PRL
	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
	Imperative streams—a monadic combinator library for synchronous programming [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 261-272. by Enno Scholz posted by 7 people twleung greenrd JeffreyPalmer jrw zednenem josefs SRG_at_UCD
	Dynamic Typing as Staged Type Inference [My Copy] In Symposium on Principles of Programming Languages (1998), pp. 289-302. by Mark Shields, Tim Sheard, S. L. P. Simon posted by 4 people twleung dherman tov NU-PRL