[{"text":"\n\nS. Adams. Functional pearls: Efficient sets-a balancing act. Functional Programming, 3(4):553--562, 1993.\n\n"},{"text":"\n\n\nJeroen Arnoldus , Jeanot Bijpost , Mark van den Brand, Repleo: a syntax-safe template engine, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria   [doi>10.1145/1289971.1289977]\n\n","citation":"1289977","doi":"http://doi.acm.org/10.1145/1289971.1289977"},{"text":"\n\nP. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. An overview of elan. Electronic Notes in Theoretical Computer Science, 15, 1998.\n\n"},{"text":"\n\nM. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser. Stratego/XT Reference Manual, 2003--2008.\n\n"},{"text":"\n\nM. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of maude. Electronic Notes in Theoretical Computer Science, 4:65--89, 1996.\n\n"},{"text":"\n\n\nConal Elliott , Sigbjørn Finne , Oege De Moor, Compiling embedded languages, Journal of Functional Programming, v.13 n.3, p.455-481, May 2003   [doi>10.1017/S0956796802004574]\n\n","citation":"967844"},{"text":"\n\nS. Erdweg. Extensible Languages for Flexible and Principled Domain Abstraction. PhD thesis, Philipps-Universiät Marburg, 2013.\n\n"},{"text":"\n\n\nSebastian Erdweg , Tillmann Rendel , Christian Kästner , Klaus Ostermann, SugarJ: library-based syntactic language extensibility, Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, October 22-27, 2011, Portland, Oregon, USA   [doi>10.1145/2048066.2048099]\n\n","citation":"2048099","doi":"http://doi.acm.org/10.1145/2048066.2048099"},{"text":"\n\n\nSebastian Erdweg , Felix Rieger, A framework for extensible languages, Proceedings of the 12th international conference on Generative programming: concepts & experiences, October 27-28, 2013, Indianapolis, Indiana, USA   [doi>10.1145/2517208.2517210]\n\n","citation":"2517210","doi":"http://doi.acm.org/10.1145/2517208.2517210"},{"text":"\n\n\nSebastian Erdweg , Felix Rieger , Tillmann Rendel , Klaus Ostermann, Layout-sensitive language extensibility with SugarHaskell, Proceedings of the 2012 Haskell Symposium, September 13-13, 2012, Copenhagen, Denmark   [doi>10.1145/2364506.2364526]\n\n","citation":"2364526","doi":"http://doi.acm.org/10.1145/2364506.2364526"},{"text":"\n\n\nRobert Bruce Findler , Matthias Felleisen, Contracts for higher-order functions, Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, p.48-59, October 04-06, 2002, Pittsburgh, PA, USA   [doi>10.1145/581478.581484]\n\n","citation":"581484","doi":"http://doi.acm.org/10.1145/581478.581484"},{"text":"\n\n\nSteven E. Ganz , Amr Sabry , Walid Taha, Macros as multi-stage computations: type-safe, generative, binding macros in MacroML, Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, September 03-05, 2001, Florence, Italy   [doi>10.1145/507635.507646]\n\n","citation":"507646","doi":"http://doi.acm.org/10.1145/507635.507646"},{"text":"\n\n\nRonald Garcia , Andrew Lumsdaine, Toward foundations for type-reflective metaprogramming, Proceedings of the eighth international conference on Generative programming and component engineering, October 04-05, 2009, Denver, Colorado, USA   [doi>10.1145/1621607.1621613]\n\n","citation":"1621613","doi":"http://doi.acm.org/10.1145/1621607.1621613"},{"text":"\n\n\nJ. Goguen , C. Kirchner , J. Meseguer , H. Kirchner , T. Winkler , A. Megrelis, An introduction to OBJ 3, 1st international workshop on Conditional Term Rewriting Systems, p.258-263, August 1988, Orsay, France \n\n","citation":"60724"},{"text":"\n\n\nKarl Trygve Kalleberg , Eelco Visser, Combining Aspect-Oriented and Strategic Programming, Electronic Notes in Theoretical Computer Science (ENTCS), v.147 n.1, p.5-30, January, 2006   [doi>10.1016/j.entcs.2005.06.035]\n\n","citation":"1707006"},{"text":"\n\n\nLennart C.L. Kats , Eelco Visser, The spoofax language workbench: rules for declarative specification of languages and IDEs, Proceedings of the ACM international conference on Object oriented programming systems languages and applications, October 17-21, 2010, Reno/Tahoe, Nevada, USA   [doi>10.1145/1869459.1869497]\n\n","citation":"1869497","doi":"http://doi.acm.org/10.1145/1869459.1869497"},{"text":"\n\n\nPaul Klint , Tijs van der Storm , Jurgen Vinju, RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation, Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, p.168-177, September 20-21, 2009   [doi>10.1109/SCAM.2009.28]\n\n","citation":"1638018"},{"text":"\n\n\nFlorian Lorenzen , Sebastian Erdweg, Modular and automated type-soundness verification for language extensions, Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, September 25-27, 2013, Boston, Massachusetts, USA   [doi>10.1145/2500365.2500596]\n\n","citation":"2500596","doi":"http://doi.acm.org/10.1145/2500365.2500596"},{"text":"\n\n\nWeiyu Miao , Jeremy G. Siek, Incremental type-checking for type-reflective metaprograms, Proceedings of the ninth international conference on Generative programming and component engineering, October 10-13, 2010, Eindhoven, The Netherlands   [doi>10.1145/1868294.1868319]\n\n","citation":"1868319","doi":"http://doi.acm.org/10.1145/1868294.1868319"},{"text":"\n\n\nTim Sheard , Simon Peyton Jones, Template meta-programming for Haskell, Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, p.1-16, October 03, 2002, Pittsburgh, Pennsylvania   [doi>10.1145/581690.581691]\n\n","citation":"581691","doi":"http://doi.acm.org/10.1145/581690.581691"},{"text":"\n\n\nT. Stephen Strickland , Sam Tobin-Hochstadt , Robert Bruce Findler , Matthew Flatt, Chaperones and impersonators: run-time support for reasonable interposition, Proceedings of the ACM international conference on Object oriented programming systems languages and applications, October 19-26, 2012, Tucson, Arizona, USA   [doi>10.1145/2384616.2384685]\n\n","citation":"2384685","doi":"http://doi.acm.org/10.1145/2384616.2384685"},{"text":"\n\n\nWalid Taha , Tim Sheard, MetaML and multi-stage programming with explicit annotations, Theoretical Computer Science, v.248 n.1-2, p.211-242, October 2000   [doi>10.1016/S0304-3975(00)00053-0]\n\n","citation":"357500"},{"text":"\n\n\nMark G. J. van den Brand , Arie van Deursen , Jan Heering , H. A. de Jong , Merijn de Jonge , Tobias Kuipers , Paul Klint , Leon Moonen , Pieter A. Olivier , Jeroen Scheerder , Jurgen J. Vinju , Eelco Visser , Joost Visser, The ASF+SDF Meta-environment: A Component-Based Language Development Environment, Proceedings of the 10th International Conference on Compiler Construction, p.365-370, April 02-06, 2001 \n\n","citation":"727788"},{"text":"\n\n\nMark G. J. van den Brand , Paul Klint , Jurgen J. Vinju, Term rewriting with traversal functions, ACM Transactions on Software Engineering and Methodology (TOSEM), v.12 n.2, p.152-190, April 2003   [doi>10.1145/941566.941568]\n\n","citation":"941568","doi":"http://doi.acm.org/10.1145/941566.941568"},{"text":"\n\nE. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, 1997.\n\n"},{"text":"\n\n\nEelco Visser, Meta-programming with Concrete Object Syntax, Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering, p.299-315, October 06-08, 2002 \n\n","citation":"652697"},{"text":"\n\n\nEelco Visser , Zine-el-Abidine Benaissa , Andrew Tolmach, Building program optimizers with rewriting strategies, Proceedings of the third ACM SIGPLAN international conference on Functional programming, p.13-26, September 26-29, 1998, Baltimore, Maryland, USA   [doi>10.1145/289423.289425]\n\n","citation":"289425","doi":"http://doi.acm.org/10.1145/289423.289425"}]