@inproceedings{TahaBS98,
  title = {Multi-Stage Programming: Axiomatization and Type Safety},
  author = {Walid Taha and Zine-El-Abidine Benaissa and Tim  Sheard},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1443/14430918.htm},
  tags = {programming},
  researchr = {https://researchr.org/publication/TahaBS98},
  cites = {0},
  citedby = {0},
  pages = {918-929},
  booktitle = {Automata, Languages and Programming, 25th International Colloquium, ICALP 98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
  editor = {Kim Guldstrand Larsen and Sven Skyum and Glynn Winskel},
  volume = {1443},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64781-3},
}

@inproceedings{SwadiTKP06,
  title = {A monadic approach for avoiding code duplication when staging memoized functions},
  author = {Kedar N. Swadi and Walid Taha and Oleg Kiselyov and Emir Pasalic},
  year = {2006},
  doi = {10.1145/1111542.1111570},
  url = {http://doi.acm.org/10.1145/1111542.1111570},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/SwadiTKP06},
  cites = {0},
  citedby = {0},
  pages = {160-169},
  booktitle = {Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006},
  editor = {John Hatcliff and Frank Tip},
  publisher = {ACM},
  isbn = {1-59593-196-1},
}

@inproceedings{Taha04,
  title = {Resource-Aware Programming},
  author = {Walid Taha},
  year = {2004},
  doi = {10.1007/11535409_6},
  url = {http://dx.doi.org/10.1007/11535409_6},
  tags = {programming, context-aware},
  researchr = {https://researchr.org/publication/Taha04},
  cites = {0},
  citedby = {0},
  pages = {38-43},
  booktitle = {Embedded Software and Systems, First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers},
  editor = {Zhaohui Wu and Chun Chen and Minyi Guo and Jiajun Bu},
  volume = {3605},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28128-2},
}

@inproceedings{MoggiTBS99,
  title = {An Idealized MetaML: Simpler, and More Expressive},
  author = {Eugenio Moggi and Walid Taha and Zine-El-Abidine Benaissa and Tim  Sheard},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1576/15760193.htm},
  researchr = {https://researchr.org/publication/MoggiTBS99},
  cites = {0},
  citedby = {0},
  pages = {193-207},
  booktitle = {Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings},
  editor = {S. Doaitse Swierstra},
  volume = {1576},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65699-5},
}

@inproceedings{WanTH01,
  title = {Real-Time FRP},
  author = {Zhanyong Wan and Walid Taha and Paul Hudak},
  year = {2001},
  researchr = {https://researchr.org/publication/WanTH01},
  cites = {0},
  citedby = {0},
  pages = {146-156},
  booktitle = {Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming},
  series = {ICFP '01},
  address = {New York, NY, USA},
  publisher = {Association for Computing Machinery},
}

@article{Taha03a,
  title = { Essentials of Programming Languages  (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001},
  author = {Walid Taha},
  year = {2003},
  doi = {10.1017/S0956796803254873},
  url = {http://dx.doi.org/10.1017/S0956796803254873},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/Taha03a},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {4},
  pages = {829-831},
}

@inproceedings{954190,
  title = {Implementing multi-stage languages using ASTs, Gensym, and reflection},
  author = {Calcagno, Cristiano and Walid Taha and Huang, Liwen and Xavier Leroy},
  year = {2003},
  tags = {reflection},
  researchr = {https://researchr.org/publication/954190},
  cites = {0},
  citedby = {0},
  booktitle = {GPCE '03: Proceedings of the 2nd international conference on Generative programming and component engineering},
  address = {New York, NY, USA},
  publisher = {Springer-Verlag New York, Inc.},
  isbn = {3-540-20102-5},
}

@inproceedings{TahaJ03,
  title = {Staged Notational Definitions},
  author = {Walid Taha and Patricia Johann},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2830&spage=97},
  researchr = {https://researchr.org/publication/TahaJ03},
  cites = {0},
  citedby = {0},
  pages = {97-116},
  booktitle = {Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings},
  editor = {Frank Pfenning and Yannis Smaragdakis},
  volume = {2830},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20102-5},
}

@inproceedings{Taha07:0,
  title = {A Gentle Introduction to Multi-stage Programming, Part II},
  author = {Walid Taha},
  year = {2007},
  doi = {10.1007/978-3-540-88643-3_6},
  url = {http://dx.doi.org/10.1007/978-3-540-88643-3_6},
  tags = {programming},
  researchr = {https://researchr.org/publication/Taha07%3A0},
  cites = {0},
  citedby = {0},
  pages = {260-290},
  booktitle = {Generative and Transformational Techniques in Software Engineering II, International Summer School, {GTTSE} 2007},
  editor = {Ralf Lämmel and Joost Visser and João Saraiva},
  volume = {5235},
  series = {Lecture Notes in Computer Science},
  address = {Braga, Portugal},
  publisher = {Springer},
  isbn = {978-3-540-88642-6},
}

@inproceedings{GanzST01,
  title = {Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML},
  author = {Steven E. Ganz and Amr Sabry and Walid Taha},
  year = {2001},
  tags = {macros, e-science, staged computation},
  researchr = {https://researchr.org/publication/GanzST01},
  cites = {0},
  citedby = {0},
  pages = {74-85},
  booktitle = {Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming},
  series = {ICFP '01},
  address = {New York, NY, USA},
  publisher = {Association for Computing Machinery},
}

@inproceedings{GuerreroPRST04,
  title = {Implementing DSLs in metaOCaml},
  author = {Miguel Guerrero and Edward Pizzi and Robert Rosenbaum and Kedar N. Swadi and Walid Taha},
  year = {2004},
  doi = {10.1145/1028664.1028687},
  url = {http://doi.acm.org/10.1145/1028664.1028687},
  tags = {DSL},
  researchr = {https://researchr.org/publication/GuerreroPRST04},
  cites = {0},
  citedby = {0},
  pages = {41-42},
  booktitle = {Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada},
  editor = {John M. Vlissides and Douglas C. Schmidt},
  publisher = {ACM},
  isbn = {1-58113-833-4},
}

@inproceedings{TahaMH01,
  title = {Tag Elimination and Jones-Optimality},
  author = {Walid Taha and Henning Makholm and John Hughes},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2053/20530257.htm},
  tags = {programming languages, interpreter, tagging, transformation language, Jones-Optimality, partial evaluation, higher-order transformations, transformation, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/TahaMH01},
  cites = {0},
  citedby = {0},
  pages = {257-275},
  booktitle = {Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings},
  editor = {Olivier Danvy and Andrzej Filinski},
  volume = {2053},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42068-1},
}

@inproceedings{TahaS97,
  title = {Multi-Stage Programming},
  author = {Walid Taha and Tim  Sheard},
  year = {1997},
  tags = {programming},
  researchr = {https://researchr.org/publication/TahaS97},
  cites = {0},
  citedby = {0},
  pages = {321},
  booktitle = {ICFP},
}

@article{Taha03:0,
  title = {Semantics, Applications, and Implementation of Program Generation},
  author = {Walid Taha},
  year = {2003},
  doi = {10.1017/S0956796802004677},
  url = {http://dx.doi.org/10.1017/S0956796802004677},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Taha03%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {3},
  pages = {453-454},
}

@inproceedings{SiekT06-0,
  title = {Gradual typing for functional languages},
  author = {Jeremy G. Siek and Walid Taha},
  year = {2006},
  month = {September},
  researchr = {https://researchr.org/publication/SiekT06-0},
  cites = {0},
  citedby = {0},
  pages = {81-92},
  booktitle = {Scheme and Functional Programming Workshop},
  volume = {6},
}

@techreport{WestbrookRickenInoueYaoAbdelatifTaha2009,
  title = {Multi-stage Programming for Mainstream Languages (TR09-02)},
  author = {Edwin Westbrook and Mathias Ricken and Jun Inoue and Yilong Yao and Tamer Abdelatif and Walid Taha},
  year = {2009},
  month = {July},
  tags = {programming languages, rule-based, Java, type soundness, functional programming, language design, type system, code generation, programming, abstraction, staged computation, design, systematic-approach},
  researchr = {https://researchr.org/publication/WestbrookRickenInoueYaoAbdelatifTaha2009},
  cites = {0},
  citedby = {0},
  institution = {Rice University},
  number = {TR09-02},
}

@inproceedings{WestbrookRIYAT10,
  title = {Mint: Java multi-stage programming using weak separability},
  author = {Edwin Westbrook and Mathias Ricken and Jun Inoue and Yilong Yao and Tamer Abdelatif and Walid Taha},
  year = {2010},
  doi = {10.1145/1806596.1806642},
  url = {http://doi.acm.org/10.1145/1806596.1806642},
  tags = {programming languages, rule-based, Java, type soundness, functional programming, language design, type system, code generation, programming, abstraction, staged computation, design, systematic-approach},
  researchr = {https://researchr.org/publication/WestbrookRIYAT10},
  cites = {0},
  citedby = {0},
  pages = {400-411},
  booktitle = {Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010},
  editor = {Benjamin G. Zorn and Alexander Aiken},
  publisher = {ACM},
  isbn = {978-1-4503-0019-3},
}

@inproceedings{TahaHW01,
  title = {Directions in Functional Programming for Real(-Time) Applications},
  author = {Walid Taha and Paul Hudak and Zhanyong Wan},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2211/22110185.htm},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/TahaHW01},
  cites = {0},
  citedby = {0},
  pages = {185-203},
  booktitle = {Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings},
  editor = {Thomas A. Henzinger and Christoph M. Kirsch},
  volume = {2211},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42673-6},
}

@inproceedings{TahaEX03,
  title = {Generating Heap-Bounded Programs in a Functional Setting},
  author = {Walid Taha and Stephan Ellner and Hongwei Xi},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2855&spage=340},
  tags = {functional programming},
  researchr = {https://researchr.org/publication/TahaEX03},
  cites = {0},
  citedby = {0},
  pages = {340-355},
  booktitle = {Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
  editor = {Rajeev Alur and Insup Lee},
  volume = {2855},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20223-4},
}

@inproceedings{KiselyovST04,
  title = {A methodology for generating verified combinatorial circuits},
  author = {Oleg Kiselyov and Kedar N. Swadi and Walid Taha},
  year = {2004},
  doi = {10.1145/1017753.1017794},
  url = {http://doi.acm.org/10.1145/1017753.1017794},
  researchr = {https://researchr.org/publication/KiselyovST04},
  cites = {0},
  citedby = {0},
  pages = {249-258},
  booktitle = {EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings},
  editor = {Giorgio C. Buttazzo},
  publisher = {ACM},
  isbn = {1-58113-860-1},
}

@inproceedings{FogartyPST07,
  title = {Concoqtion: indexed types now!},
  author = {Seth Fogarty and Emir Pasalic and Jeremy G. Siek and Walid Taha},
  year = {2007},
  doi = {10.1145/1244381.1244400},
  url = {http://doi.acm.org/10.1145/1244381.1244400},
  researchr = {https://researchr.org/publication/FogartyPST07},
  cites = {0},
  citedby = {0},
  pages = {112-121},
  booktitle = {Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007},
  editor = {Ganesan Ramalingam and Eelco Visser},
  publisher = {ACM},
  isbn = {978-1-59593-620-2},
}

@inproceedings{KaiabachevTZ07,
  title = {E-FRP with priorities},
  author = {Roumen Kaiabachev and Walid Taha and Angela Zhu},
  year = {2007},
  doi = {10.1145/1289927.1289963},
  url = {http://doi.acm.org/10.1145/1289927.1289963},
  tags = {e-science},
  researchr = {https://researchr.org/publication/KaiabachevTZ07},
  cites = {0},
  citedby = {0},
  pages = {221-230},
  booktitle = {Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria},
  editor = {Christoph M. Kirsch and Reinhard Wilhelm},
  publisher = {ACM},
  isbn = {978-1-59593-825-1},
}

@inproceedings{CalcagnoMT00,
  title = {Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming},
  author = {Cristiano Calcagno and Eugenio Moggi and Walid Taha},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1853/18530025.htm},
  tags = {programming, systematic-approach},
  researchr = {https://researchr.org/publication/CalcagnoMT00},
  cites = {0},
  citedby = {0},
  pages = {25-36},
  booktitle = {Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
  editor = {Ugo Montanari and José D. P. Rolim and Emo Welzl},
  volume = {1853},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67715-1},
}

@inproceedings{SiekT07,
  title = {Gradual Typing for Objects},
  author = {Jeremy G. Siek and Walid Taha},
  year = {2007},
  doi = {10.1007/978-3-540-73589-2_2},
  url = {http://dx.doi.org/10.1007/978-3-540-73589-2_2},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/SiekT07},
  cites = {0},
  citedby = {0},
  pages = {2-27},
  booktitle = {ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings},
  editor = {Erik Ernst},
  volume = {4609},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73588-5},
}

@inproceedings{SiekT06,
  title = {A Semantic Analysis of C++ Templates},
  author = {Jeremy G. Siek and Walid Taha},
  year = {2006},
  doi = {10.1007/11785477_19},
  url = {http://dx.doi.org/10.1007/11785477_19},
  tags = {analysis, C++},
  researchr = {https://researchr.org/publication/SiekT06},
  cites = {0},
  citedby = {0},
  pages = {304-327},
  booktitle = {ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings},
  editor = {Dave Thomas},
  volume = {4067},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35726-2},
}

@inproceedings{GillenwaterMSZTGO08,
  title = {Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability},
  author = {Jennifer Gillenwater and Gregory Malecha and Cherif Salama and Angela Yun Zhu and Walid Taha and Jim Grundy and John O Leary},
  year = {2008},
  doi = {10.1145/1328408.1328416},
  url = {http://doi.acm.org/10.1145/1328408.1328416},
  researchr = {https://researchr.org/publication/GillenwaterMSZTGO08},
  cites = {0},
  citedby = {0},
  pages = {41-50},
  booktitle = {Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008},
  editor = {Robert Glück and Oege de Moor},
  publisher = {ACM},
  isbn = {978-1-59593-977-7},
}

@inproceedings{EckhardtKPST05,
  title = {Implicitly Heterogeneous Multi-stage Programming},
  author = {Jason Eckhardt and Roumen Kaiabachev and Emir Pasalic and Kedar N. Swadi and Walid Taha},
  year = {2005},
  doi = {10.1007/11561347_19},
  url = {http://dx.doi.org/10.1007/11561347_19},
  tags = {programming},
  researchr = {https://researchr.org/publication/EckhardtKPST05},
  cites = {0},
  citedby = {0},
  pages = {275-292},
  booktitle = {Generative Programming and Component Engineering, 4th International Conference, GPCE 2005},
  editor = {Robert Glück and Michael R. Lowry},
  volume = {3676},
  series = {Lecture Notes in Computer Science},
  address = {Tallinn, Estonia},
  publisher = {Springer},
  isbn = {3-540-29138-5},
}

@inproceedings{Taha03,
  title = {A Gentle Introduction to Multi-stage Programming},
  author = {Walid Taha},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3016&spage=30},
  tags = {programming},
  researchr = {https://researchr.org/publication/Taha03},
  cites = {0},
  citedby = {1},
  pages = {30-50},
  booktitle = {Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers},
  editor = {Christian Lengauer and Don S. Batory and Charles Consel and Martin Odersky},
  volume = {3016},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22119-0},
}

@inproceedings{Taha00,
  title = {A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trival (Extended Abstract)},
  author = {Walid Taha},
  year = {2000},
  doi = {10.1145/328690.328697},
  url = {http://doi.acm.org/10.1145/328690.328697},
  tags = {semantics, staged computation},
  researchr = {https://researchr.org/publication/Taha00},
  cites = {0},
  citedby = {0},
  pages = {34-43},
  booktitle = {PEPM},
}

@inproceedings{SalamaMTGO09,
  title = {Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions},
  author = {Cherif Salama and Gregory Malecha and Walid Taha and Jim Grundy and John O Leary},
  year = {2009},
  doi = {10.1145/1480945.1480963},
  url = {http://doi.acm.org/10.1145/1480945.1480963},
  tags = {type checking, consistency},
  researchr = {https://researchr.org/publication/SalamaMTGO09},
  cites = {0},
  citedby = {0},
  pages = {121-130},
  booktitle = {Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009},
  editor = {Germán Puebla and Germán Vidal},
  publisher = {ACM},
  isbn = {978-1-60558-327-3},
}

@inproceedings{RickenWestbrookTaha2010,
  title = {Agile and Efficient Domain-Specific Languages using Multi-Stage Programming in Java Mint},
  author = {Mathias Ricken and Edwin Westbrook and Walid Taha},
  year = {2010},
  tags = {programming languages, optimization, object-oriented programming, type inference, rule-based, Java, meta programming, interpreter, language design, parallel programming, constraints, compiler, DSL, programming, subject-oriented programming, program optimization, Meta-Environment, design, feature-oriented programming, meta-objects, domain-specific language},
  researchr = {https://researchr.org/publication/RickenWestbrookTaha2010},
  cites = {0},
  citedby = {0},
}

@article{LengauerT06,
  title = {Preface},
  author = {Christian Lengauer and Walid Taha},
  year = {2006},
  doi = {10.1016/j.scico.2006.05.001},
  url = {http://dx.doi.org/10.1016/j.scico.2006.05.001},
  researchr = {https://researchr.org/publication/LengauerT06},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {62},
  number = {1},
  pages = {1-2},
}

@inproceedings{CzarneckiOST03,
  title = {DSL Implementation in MetaOCaml, Template Haskell, and C++},
  author = {Krzysztof Czarnecki and John T. O Donnell and Jörg Striegnitz and Walid Taha},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3016&spage=51},
  tags = {Haskell, C++, DSL},
  researchr = {https://researchr.org/publication/CzarneckiOST03},
  cites = {0},
  citedby = {0},
  pages = {51-72},
  booktitle = {Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers},
  editor = {Christian Lengauer and Don S. Batory and Charles Consel and Martin Odersky},
  volume = {3016},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22119-0},
}

@inproceedings{WanTH02,
  title = {Event-Driven FRP},
  author = {Zhanyong Wan and Walid Taha and Paul Hudak},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2257/22570155.htm},
  researchr = {https://researchr.org/publication/WanTH02},
  cites = {0},
  citedby = {0},
  pages = {155-172},
  booktitle = {Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings},
  editor = {Shriram Krishnamurthi and C. R. Ramakrishnan},
  volume = {2257},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43092-X},
}

@inproceedings{KiselyovT04,
  title = {Relating FFTW and Split-Radix},
  author = {Oleg Kiselyov and Walid Taha},
  year = {2004},
  doi = {10.1007/11535409_71},
  url = {http://dx.doi.org/10.1007/11535409_71},
  researchr = {https://researchr.org/publication/KiselyovT04},
  cites = {0},
  citedby = {0},
  pages = {488-493},
  booktitle = {Embedded Software and Systems, First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers},
  editor = {Zhaohui Wu and Chun Chen and Minyi Guo and Jiajun Bu},
  volume = {3605},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28128-2},
}

@inproceedings{OstrovskyPT02,
  title = {Towards a primitive higher order calculus of broadcasting systems},
  author = {Karol Ostrovsky and K. V. S. Prasad and Walid Taha},
  year = {2002},
  doi = {10.1145/571157.571159},
  url = {http://doi.acm.org/10.1145/571157.571159},
  researchr = {https://researchr.org/publication/OstrovskyPT02},
  cites = {0},
  citedby = {0},
  pages = {2-13},
  booktitle = {Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002)},
  publisher = {ACM},
}

@inproceedings{EllnerT07,
  title = {The semantics of graphical languages},
  author = {Stephan Ellner and Walid Taha},
  year = {2007},
  doi = {10.1145/1244381.1244402},
  url = {http://doi.acm.org/10.1145/1244381.1244402},
  tags = {semantics},
  researchr = {https://researchr.org/publication/EllnerT07},
  cites = {0},
  citedby = {0},
  pages = {122-133},
  booktitle = {Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007},
  editor = {Ganesan Ramalingam and Eelco Visser},
  publisher = {ACM},
  isbn = {978-1-59593-620-2},
}

@inproceedings{PasalicTS02,
  title = {Tagless staged interpreters for typed languages},
  author = {Emir Pasalic and Walid Taha and Tim  Sheard},
  year = {2002},
  doi = {10.1145/581478.581499},
  url = {http://doi.acm.org/10.1145/581478.581499},
  tags = {interpreter},
  researchr = {https://researchr.org/publication/PasalicTS02},
  cites = {0},
  citedby = {0},
  pages = {218-229},
  booktitle = {Proceedings of the seventh {ACM SIGPLAN} international conference on Functional Programming {(ICFP 2002)}},
}

@inproceedings{CalcagnoTHL03,
  title = {Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection},
  author = {Cristiano Calcagno and Walid Taha and Liwen Huang and Xavier Leroy},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2830&spage=57},
  tags = {reflection},
  researchr = {https://researchr.org/publication/CalcagnoTHL03},
  cites = {0},
  citedby = {1},
  pages = {57-76},
  booktitle = {Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings},
  editor = {Frank Pfenning and Yannis Smaragdakis},
  volume = {2830},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20102-5},
}

@inproceedings{CalcagnoMT04,
  title = {ML-Like Inference for Classifiers},
  author = {Cristiano Calcagno and Eugenio Moggi and Walid Taha},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2986&spage=79},
  researchr = {https://researchr.org/publication/CalcagnoMT04},
  cites = {0},
  citedby = {0},
  pages = {79-93},
  booktitle = {Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
  editor = {David A. Schmidt},
  volume = {2986},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21313-9},
}

@inproceedings{TahaN03,
  title = {Environment classifiers},
  author = {Walid Taha and Michael Florentin Nielsen},
  year = {2003},
  doi = {10.1145/640128.604134},
  url = {http://doi.acm.org/10.1145/640128.604134},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/TahaN03},
  cites = {0},
  citedby = {0},
  pages = {26-37},
  booktitle = {POPL},
}

@article{TahaS00,
  title = {{MetaML} and multi-stage programming with explicit annotations},
  author = {Walid Taha and Tim  Sheard},
  year = {2000},
  doi = {10.1016/S0304-3975(00)00053-0},
  url = {http://dx.doi.org/10.1016/S0304-3975(00)00053-0},
  tags = {programming languages, semantics, rule-based, type soundness, language engineering, software language engineering, language design, principles, type system, software engineering, code generation, type checking, programming, staged computation, design},
  researchr = {https://researchr.org/publication/TahaS00},
  cites = {0},
  citedby = {1},
  journal = {Theoretical Computer Science},
  volume = {248},
  number = {1-2},
  pages = {211-242},
}

@inproceedings{TahaS97:0,
  title = {Multi-Stage Programming with Explicit Annotations},
  author = {Walid Taha and Tim  Sheard},
  year = {1997},
  doi = {10.1145/258993.259019},
  url = {http://doi.acm.org/10.1145/258993.259019},
  tags = {programming},
  researchr = {https://researchr.org/publication/TahaS97%3A0},
  cites = {0},
  citedby = {0},
  pages = {203-217},
  booktitle = {PEPM},
}

@inproceedings{SiekGT09,
  title = {Exploring the Design Space of Higher-Order Casts},
  author = {Jeremy G. Siek and Ronald Garcia and Walid Taha},
  year = {2009},
  doi = {10.1007/978-3-642-00590-9_2},
  url = {http://dx.doi.org/10.1007/978-3-642-00590-9_2},
  tags = {design},
  researchr = {https://researchr.org/publication/SiekGT09},
  cites = {0},
  citedby = {0},
  pages = {17-31},
  booktitle = {Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
  editor = {Giuseppe Castagna},
  volume = {5502},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00589-3},
}

@article{EckhardtKPST07,
  title = {Implicitly Heterogeneous Multi-Stage Programming},
  author = {Jason Eckhardt and Roumen Kaiabachev and Emir Pasalic and Kedar N. Swadi and Walid Taha},
  year = {2007},
  doi = {10.1007/s00354-007-0020-x},
  url = {http://dx.doi.org/10.1007/s00354-007-0020-x},
  tags = {programming},
  researchr = {https://researchr.org/publication/EckhardtKPST07},
  cites = {0},
  citedby = {0},
  journal = {New Generation Comput.},
  volume = {25},
  number = {3},
  pages = {305-336},
}
@proceedings{saig:2001,
  title = {Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings},
  year = {2001},
  tags = {semantics},
  researchr = {https://researchr.org/publication/saig%3A2001},
  cites = {0},
  citedby = {0},
  booktitle = {Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings},
  conference = {saig},
  editor = {Walid Taha},
  volume = {2196},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42558-6},
}

@proceedings{saig:2000,
  title = {Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings},
  year = {2000},
  tags = {semantics},
  researchr = {https://researchr.org/publication/saig%3A2000},
  cites = {0},
  citedby = {0},
  booktitle = {Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings},
  conference = {saig},
  editor = {Walid Taha},
  volume = {1924},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41054-6},
}

@proceedings{gpce:2002,
  title = {Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings},
  year = {2002},
  tags = {generative programming, programming},
  researchr = {https://researchr.org/publication/gpce%3A2002},
  cites = {0},
  citedby = {0},
  booktitle = {Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings},
  conference = {GPCE},
  editor = {Don S. Batory and Charles Consel and Walid Taha},
  volume = {2487},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44284-7},
}