publications:
- title: "Multi-Stage Programming: Axiomatization and Type Safety"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Zine-El-Abidine Benaissa"
    link: "http://web.archive.org/web/20010515202744/www.cse.ogi.edu/~benaissa/"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1443/14430918.htm"
  links:
    doi: "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:
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  - name: "Sven Skyum"
    link: "https://researchr.org/alias/sven-skyum"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  volume: "1443"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64781-3"
  kind: "inproceedings"
  key: "TahaBS98"
- title: "A monadic approach for avoiding code duplication when staging memoized functions"
  author:
  - name: "Kedar N. Swadi"
    link: "https://researchr.org/alias/kedar-n.-swadi"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Emir Pasalic"
    link: "https://researchr.org/alias/emir-pasalic"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1111542.1111570"
  links:
    doi: "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:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Frank Tip"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/tip.index.html"
  publisher: "ACM"
  isbn: "1-59593-196-1"
  kind: "inproceedings"
  key: "SwadiTKP06"
- title: "Resource-Aware Programming"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11535409_6"
  links:
    doi: "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:
  - name: "Zhaohui Wu"
    link: "https://researchr.org/alias/zhaohui-wu"
  - name: "Chun Chen"
    link: "https://researchr.org/alias/chun-chen"
  - name: "Minyi Guo"
    link: "https://researchr.org/alias/minyi-guo"
  - name: "Jiajun Bu"
    link: "https://researchr.org/alias/jiajun-bu"
  volume: "3605"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28128-2"
  kind: "inproceedings"
  key: "Taha04"
- title: "An Idealized MetaML: Simpler, and More Expressive"
  author:
  - name: "Eugenio Moggi"
    link: "https://researchr.org/alias/eugenio-moggi"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Zine-El-Abidine Benaissa"
    link: "http://web.archive.org/web/20010515202744/www.cse.ogi.edu/~benaissa/"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1576/15760193.htm"
  links:
    doi: "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:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "1576"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65699-5"
  kind: "inproceedings"
  key: "MoggiTBS99"
- title: "Real-Time FRP"
  author:
  - name: "Zhanyong Wan"
    link: "https://researchr.org/alias/zhanyong-wan"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "WanTH01"
- 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:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803254873"
  links:
    doi: "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"
  kind: "article"
  key: "Taha03a"
- title: "Implementing multi-stage languages using ASTs, Gensym, and reflection"
  author:
  - name: "Calcagno, Cristiano"
    link: "https://researchr.org/alias/calcagno%2C-cristiano"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Huang, Liwen"
    link: "https://researchr.org/alias/huang%2C-liwen"
  - name: "Xavier Leroy"
    link: "http://pauillac.inria.fr/~xleroy/"
  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"
  kind: "inproceedings"
  key: "954190"
- title: "Staged Notational Definitions"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Patricia Johann"
    link: "http://personal.cis.strath.ac.uk/~patricia/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2830&spage=97"
  links:
    doi: "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:
  - name: "Frank Pfenning"
    link: "http://www.cs.cmu.edu/~fp/"
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  volume: "2830"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20102-5"
  kind: "inproceedings"
  key: "TahaJ03"
- title: "A Gentle Introduction to Multi-stage Programming, Part II"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-88643-3_6"
  links:
    doi: "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:
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "Joost Visser"
    link: "http://www.di.uminho.pt/~joost.visser/"
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  volume: "5235"
  series: "Lecture Notes in Computer Science"
  address: "Braga, Portugal"
  publisher: "Springer"
  isbn: "978-3-540-88642-6"
  kind: "inproceedings"
  key: "Taha07:0"
- title: "Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML"
  author:
  - name: "Steven E. Ganz"
    link: "https://researchr.org/alias/steven-e.-ganz"
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~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"
  kind: "inproceedings"
  key: "GanzST01"
- title: "Implementing DSLs in metaOCaml"
  author:
  - name: "Miguel Guerrero"
    link: "https://researchr.org/alias/miguel-guerrero"
  - name: "Edward Pizzi"
    link: "https://researchr.org/alias/edward-pizzi"
  - name: "Robert Rosenbaum"
    link: "https://researchr.org/alias/robert-rosenbaum"
  - name: "Kedar N. Swadi"
    link: "https://researchr.org/alias/kedar-n.-swadi"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1028664.1028687"
  links:
    doi: "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:
  - name: "John M. Vlissides"
    link: "https://researchr.org/alias/john-m.-vlissides"
  - name: "Douglas C. Schmidt"
    link: "https://researchr.org/alias/douglas-c.-schmidt"
  publisher: "ACM"
  isbn: "1-58113-833-4"
  kind: "inproceedings"
  key: "GuerreroPRST04"
- title: "Tag Elimination and Jones-Optimality"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Henning Makholm"
    link: "https://researchr.org/alias/henning-makholm"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2053/20530257.htm"
  abstract: "Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed as having immediate applications in implementations of domain specific languages (where it can give a two-fold speedup), and may provide a solution to the long standing problem of Jones-optimal specialization in the typed setting. This paper explains in more detail the role of tag elimination in the implementation of domain-specific languages, presents a number of significant simplifications and a high-level, higher-order, typed self-applicable interpreter. We show how tag elimination achieves Jones-optimality."
  links:
    doi: "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:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Andrzej Filinski"
    link: "https://researchr.org/alias/andrzej-filinski"
  volume: "2053"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42068-1"
  kind: "inproceedings"
  key: "TahaMH01"
- title: "Multi-Stage Programming"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1997"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/TahaS97"
  cites: 0
  citedby: 0
  pages: "321"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "TahaS97"
- title: "Semantics, Applications, and Implementation of Program Generation"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796802004677"
  links:
    doi: "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"
  kind: "article"
  key: "Taha03:0"
- title: "Gradual Typing for Functional Languages"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~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"
  kind: "inproceedings"
  key: "SiekT06-0"
- title: "Multi-stage Programming for Mainstream Languages (TR09-02)"
  author:
  - name: "Edwin Westbrook"
    link: "https://sites.google.com/site/edwinwestbrookiv/"
  - name: "Mathias Ricken"
    link: "http://www.cs.rice.edu/~mgricken"
  - name: "Jun Inoue"
    link: "https://researchr.org/alias/jun-inoue"
  - name: "Yilong Yao"
    link: "https://researchr.org/alias/yilong-yao"
  - name: "Tamer Abdelatif"
    link: "https://researchr.org/alias/tamer-abdelatif"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2009"
  month: "July"
  abstract: "Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the overhead of abstractions, allowing clean, maintainable code without paying performance penalties. Unfortunately, MSP is difficult to combine with imperative features, which are prevalent in mainstream languages. The central difficulty is scope extrusion, wherein free variables can inadvertently be moved outside the scopes of their binders. This paper proposes a new approach to combining MSP with imperative features that occupies a “sweet spot” in the design space in terms of how well useful MSP applications can be expressed and how easy it is for programmers to understand. The key insight is that escapes (or “anti quotes”) must be weakly separable from the rest of the code, i.e. the computational effects occurring inside an escape that are visible outside the escape are guaranteed to not contain code. To demonstrate the feasibility of this approach, we formalize a type system based on Lightweight Java which we prove sound, and we also provide an implementation, called Mint, to validate both the expressivity of the type system and the effect of staging on the performance of Java programs."
  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"
  kind: "techreport"
  key: "WestbrookRickenInoueYaoAbdelatifTaha2009"
- title: "Mint: Java multi-stage programming using weak separability"
  author:
  - name: "Edwin Westbrook"
    link: "https://researchr.org/alias/edwin-westbrook"
  - name: "Mathias Ricken"
    link: "http://www.cs.rice.edu/~mgricken"
  - name: "Jun Inoue"
    link: "https://researchr.org/alias/jun-inoue"
  - name: "Yilong Yao"
    link: "https://researchr.org/alias/yilong-yao"
  - name: "Tamer Abdelatif"
    link: "https://researchr.org/alias/tamer-abdelatif"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1806596.1806642"
  abstract: "Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the overhead of abstractions, allowing clean, maintainable code without paying performance penalties. Unfortunately, MSP is difficult to combine with imperative features, which are prevalent in mainstream languages. The central difficulty is scope extrusion, wherein free variables can inadvertently be moved outside the scopes of their binders. This paper proposes a new approach to combining MSP with imperative features that occupies a “sweet spot” in the design space in terms of how well useful MSP applications can be expressed and how easy it is for programmers to understand. The key insight is that escapes (or “anti quotes”) must be weakly separable from the rest of the code, i.e. the computational effects occurring inside an escape that are visible outside the escape are guaranteed to not contain code. To demonstrate the feasibility of this approach, we formalize a type system based on Lightweight Java which we prove sound, and we also provide an implementation, called Mint, to validate both the expressivity of the type system and the effect of staging on the performance of Java programs."
  links:
    doi: "http://doi.acm.org/10.1145/1806596.1806642"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/WestbrookRIYAT10"
  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:
  - name: "Benjamin G. Zorn"
    link: "https://researchr.org/alias/benjamin-g.-zorn"
  - name: "Alexander Aiken"
    link: "https://researchr.org/alias/alexander-aiken"
  publisher: "ACM"
  isbn: "978-1-4503-0019-3"
  kind: "inproceedings"
  key: "WestbrookRIYAT10"
- title: "Directions in Functional Programming for Real(-Time) Applications"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "Zhanyong Wan"
    link: "https://researchr.org/alias/zhanyong-wan"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2211/22110185.htm"
  links:
    doi: "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:
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  - name: "Christoph M. Kirsch"
    link: "https://researchr.org/alias/christoph-m.-kirsch"
  volume: "2211"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42673-6"
  kind: "inproceedings"
  key: "TahaHW01"
- title: "Generating Heap-Bounded Programs in a Functional Setting"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Stephan Ellner"
    link: "https://researchr.org/alias/stephan-ellner"
  - name: "Hongwei Xi"
    link: "http://www.cs.bu.edu/~hwxi/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2855&spage=340"
  links:
    doi: "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:
  - name: "Rajeev Alur"
    link: "https://researchr.org/alias/rajeev-alur"
  - name: "Insup Lee"
    link: "https://researchr.org/alias/insup-lee"
  volume: "2855"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20223-4"
  kind: "inproceedings"
  key: "TahaEX03"
- title: "A methodology for generating verified combinatorial circuits"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Kedar N. Swadi"
    link: "https://researchr.org/alias/kedar-n.-swadi"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1017753.1017794"
  links:
    doi: "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:
  - name: "Giorgio C. Buttazzo"
    link: "https://researchr.org/alias/giorgio-c.-buttazzo"
  publisher: "ACM"
  isbn: "1-58113-860-1"
  kind: "inproceedings"
  key: "KiselyovST04"
- title: "Concoqtion: indexed types now!"
  author:
  - name: "Seth Fogarty"
    link: "https://researchr.org/alias/seth-fogarty"
  - name: "Emir Pasalic"
    link: "https://researchr.org/alias/emir-pasalic"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1244381.1244400"
  links:
    doi: "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:
  - name: "Ganesan Ramalingam"
    link: "http://research.microsoft.com/en-us/um/people/grama/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  publisher: "ACM"
  isbn: "978-1-59593-620-2"
  kind: "inproceedings"
  key: "FogartyPST07"
- title: "E-FRP with priorities"
  author:
  - name: "Roumen Kaiabachev"
    link: "https://researchr.org/alias/roumen-kaiabachev"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Angela Zhu"
    link: "https://researchr.org/alias/angela-zhu"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1289927.1289963"
  links:
    doi: "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:
  - name: "Christoph M. Kirsch"
    link: "https://researchr.org/alias/christoph-m.-kirsch"
  - name: "Reinhard Wilhelm"
    link: "https://researchr.org/alias/reinhard-wilhelm"
  publisher: "ACM"
  isbn: "978-1-59593-825-1"
  kind: "inproceedings"
  key: "KaiabachevTZ07"
- title: "Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming"
  author:
  - name: "Cristiano Calcagno"
    link: "https://researchr.org/alias/cristiano-calcagno"
  - name: "Eugenio Moggi"
    link: "https://researchr.org/alias/eugenio-moggi"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1853/18530025.htm"
  links:
    doi: "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:
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "José D. P. Rolim"
    link: "https://researchr.org/alias/jos%C3%A9-d.-p.-rolim"
  - name: "Emo Welzl"
    link: "https://researchr.org/alias/emo-welzl"
  volume: "1853"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67715-1"
  kind: "inproceedings"
  key: "CalcagnoMT00"
- title: "Gradual Typing for Objects"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73589-2_2"
  links:
    doi: "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:
  - name: "Erik Ernst"
    link: "http://person.au.dk/eernst@cs"
  volume: "4609"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73588-5"
  kind: "inproceedings"
  key: "SiekT07"
- title: "A Semantic Analysis of C++ Templates"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11785477_19"
  links:
    doi: "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:
  - name: "Dave Thomas"
    link: "https://researchr.org/alias/dave-thomas"
  volume: "4067"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35726-2"
  kind: "inproceedings"
  key: "SiekT06"
- title: "Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability"
  author:
  - name: "Jennifer Gillenwater"
    link: "https://researchr.org/alias/jennifer-gillenwater"
  - name: "Gregory Malecha"
    link: "https://researchr.org/alias/gregory-malecha"
  - name: "Cherif Salama"
    link: "https://researchr.org/alias/cherif-salama"
  - name: "Angela Yun Zhu"
    link: "https://researchr.org/alias/angela-yun-zhu"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Jim Grundy"
    link: "https://researchr.org/alias/jim-grundy"
  - name: "John O Leary"
    link: "https://researchr.org/alias/john-o-leary"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1328408.1328416"
  links:
    doi: "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:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  publisher: "ACM"
  isbn: "978-1-59593-977-7"
  kind: "inproceedings"
  key: "GillenwaterMSZTGO08"
- title: "Implicitly Heterogeneous Multi-stage Programming"
  author:
  - name: "Jason Eckhardt"
    link: "https://researchr.org/alias/jason-eckhardt"
  - name: "Roumen Kaiabachev"
    link: "https://researchr.org/alias/roumen-kaiabachev"
  - name: "Emir Pasalic"
    link: "https://researchr.org/alias/emir-pasalic"
  - name: "Kedar N. Swadi"
    link: "https://researchr.org/alias/kedar-n.-swadi"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11561347_19"
  links:
    doi: "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:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Michael R. Lowry"
    link: "https://researchr.org/alias/michael-r.-lowry"
  volume: "3676"
  series: "Lecture Notes in Computer Science"
  address: "Tallinn, Estonia"
  publisher: "Springer"
  isbn: "3-540-29138-5"
  kind: "inproceedings"
  key: "EckhardtKPST05"
- title: "A Gentle Introduction to Multi-stage Programming"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3016&spage=30"
  links:
    doi: "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:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  volume: "3016"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22119-0"
  kind: "inproceedings"
  key: "Taha03"
- title: "A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trival (Extended Abstract)"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/328690.328697"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Taha00"
- title: "Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions"
  author:
  - name: "Cherif Salama"
    link: "https://researchr.org/alias/cherif-salama"
  - name: "Gregory Malecha"
    link: "https://researchr.org/alias/gregory-malecha"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Jim Grundy"
    link: "https://researchr.org/alias/jim-grundy"
  - name: "John O Leary"
    link: "https://researchr.org/alias/john-o-leary"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1480945.1480963"
  links:
    doi: "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:
  - name: "Germán Puebla"
    link: "https://researchr.org/alias/germ%C3%A1n-puebla"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  publisher: "ACM"
  isbn: "978-1-60558-327-3"
  kind: "inproceedings"
  key: "SalamaMTGO09"
- title: "Agile and Efficient Domain-Specific Languages using Multi-Stage Programming in Java Mint"
  author:
  - name: "Mathias Ricken"
    link: "http://www.cs.rice.edu/~mgricken"
  - name: "Edwin Westbrook"
    link: "https://sites.google.com/site/edwinwestbrookiv/"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2010"
  abstract: "Domain-specific languages (DSLs) are a powerful productivity tool because they allow domain experts, who are not necessarily programming experts, to quickly develop programs. DSL implementations have unique constraints for programming languages because they must be efficient, in order to ensure high productivity, but they must also be agile, in order to meet the rapidly changing demands of their domains. In this tutorial we show how multi-stage programming (MSP) can be used to build staged interpreters, which combine the agility of interpreters with the efficiency of compilers. The tutorial is conducted in Java Mint, an multi-stage Java based on recent work incorporating MSP into imperative object-oriented languages. In the first half of the tutorial, we introduce MSP by demonstrating how to write a staged interpreter for a number of basic language constructs, such as recursive functions, conditionals, and let expressions. In the second half, we extend our staged interpreter to take advantage of several well-known compiler optimizations, including type inference, constant folding, and static parallel loop scheduling. We highlight the opportunities afforded by using MSP with object-oriented design to quickly create efficient DSL implementations."
  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
  kind: "inproceedings"
  key: "RickenWestbrookTaha2010"
- title: "Preface"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.scico.2006.05.001"
  links:
    doi: "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"
  kind: "article"
  key: "LengauerT06"
- title: "DSL Implementation in MetaOCaml, Template Haskell, and C++"
  author:
  - name: "Krzysztof Czarnecki"
    link: "http://www.swen.uwaterloo.ca/~kczarnec/"
  - name: "John T. O Donnell"
    link: "https://researchr.org/alias/john-t.-o-donnell"
  - name: "Jörg Striegnitz"
    link: "https://researchr.org/alias/j%C3%B6rg-striegnitz"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3016&spage=51"
  links:
    doi: "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:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  volume: "3016"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22119-0"
  kind: "inproceedings"
  key: "CzarneckiOST03"
- title: "Event-Driven FRP"
  author:
  - name: "Zhanyong Wan"
    link: "https://researchr.org/alias/zhanyong-wan"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2257/22570155.htm"
  links:
    doi: "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:
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "C. R. Ramakrishnan"
    link: "https://researchr.org/alias/c.-r.-ramakrishnan"
  volume: "2257"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43092-X"
  kind: "inproceedings"
  key: "WanTH02"
- title: "Relating FFTW and Split-Radix"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11535409_71"
  links:
    doi: "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:
  - name: "Zhaohui Wu"
    link: "https://researchr.org/alias/zhaohui-wu"
  - name: "Chun Chen"
    link: "https://researchr.org/alias/chun-chen"
  - name: "Minyi Guo"
    link: "https://researchr.org/alias/minyi-guo"
  - name: "Jiajun Bu"
    link: "https://researchr.org/alias/jiajun-bu"
  volume: "3605"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28128-2"
  kind: "inproceedings"
  key: "KiselyovT04"
- title: "Towards a primitive higher order calculus of broadcasting systems"
  author:
  - name: "Karol Ostrovsky"
    link: "https://researchr.org/alias/karol-ostrovsky"
  - name: "K. V. S. Prasad"
    link: "https://researchr.org/alias/k.-v.-s.-prasad"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/571157.571159"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "OstrovskyPT02"
- title: "The semantics of graphical languages"
  author:
  - name: "Stephan Ellner"
    link: "https://researchr.org/alias/stephan-ellner"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1244381.1244402"
  links:
    doi: "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:
  - name: "Ganesan Ramalingam"
    link: "http://research.microsoft.com/en-us/um/people/grama/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  publisher: "ACM"
  isbn: "978-1-59593-620-2"
  kind: "inproceedings"
  key: "EllnerT07"
- title: "Tagless staged interpreters for typed languages"
  author:
  - name: "Emir Pasalic"
    link: "https://researchr.org/alias/emir-pasalic"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581478.581499"
  links:
    doi: "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)"
  kind: "inproceedings"
  key: "PasalicTS02"
- title: "Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection"
  author:
  - name: "Cristiano Calcagno"
    link: "https://researchr.org/alias/cristiano-calcagno"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Liwen Huang"
    link: "https://researchr.org/alias/liwen-huang"
  - name: "Xavier Leroy"
    link: "http://pauillac.inria.fr/~xleroy/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2830&spage=57"
  links:
    doi: "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:
  - name: "Frank Pfenning"
    link: "http://www.cs.cmu.edu/~fp/"
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  volume: "2830"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20102-5"
  kind: "inproceedings"
  key: "CalcagnoTHL03"
- title: "ML-Like Inference for Classifiers"
  author:
  - name: "Cristiano Calcagno"
    link: "https://researchr.org/alias/cristiano-calcagno"
  - name: "Eugenio Moggi"
    link: "https://researchr.org/alias/eugenio-moggi"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2986&spage=79"
  links:
    doi: "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:
  - name: "David A. Schmidt"
    link: "https://researchr.org/alias/david-a.-schmidt"
  volume: "2986"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21313-9"
  kind: "inproceedings"
  key: "CalcagnoMT04"
- title: "Environment classifiers"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Michael Florentin Nielsen"
    link: "https://researchr.org/alias/michael-florentin-nielsen"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/640128.604134"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "TahaN03"
- title: "MetaML and multi-stage programming with explicit annotations"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2000"
  doi: "http://dx.doi.org/10.1016/S0304-3975(00)00053-0"
  abstract: "Abstract We introduce MetaML, a practically motivated, statically typed multi-stage programming language. MetaML is a “real” language. We have built an implementation and used it to solve multi-stage problems. MetaML allows the programmer to construct, combine, and execute code fragments in a type-safe manner. Code fragments can contain free variables, but they obey the static-scoping principle. MetaML performs type-checking for all stages once and for all before the execution of the first stage. Certain anomalies with our first MetaML implementation led us to formalize an illustrative subset of the MetaML implementation. We present both a big-step semantics and type system for this subset, and prove the type system's soundness with respect to a big-step semantics. From a software engineering point of view, this means that generators written in the MetaML subset never generate unsafe programs. A type system and semantics for full MetaML is still ongoing work. We argue that multi-stage languages are useful as programming languages in their own right, that they supply a sound basis for high-level program generation technology, and that they should support features that make it possible for programmers to write staged computations without significantly changing their normal programming style. To illustrate this we provide a simple three-stage example elaborating a number of practical issues. The design of MetaML was based on two main principles that we identified as fundamental for high-level program generation, namely, cross-stage persistence and cross-stage safety. We present these principles, explain the technical problems they give rise to, and how we address with these problems in our implementation."
  links:
    doi: "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"
  kind: "article"
  key: "TahaS00"
- title: "Multi-Stage Programming with Explicit Annotations"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/258993.259019"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "TahaS97:0"
- title: "Exploring the Design Space of Higher-Order Casts"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Ronald Garcia"
    link: "http://"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00590-9_2"
  links:
    doi: "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:
  - name: "Giuseppe Castagna"
    link: "https://researchr.org/alias/giuseppe-castagna"
  volume: "5502"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00589-3"
  kind: "inproceedings"
  key: "SiekGT09"
- title: "Implicitly Heterogeneous Multi-Stage Programming"
  author:
  - name: "Jason Eckhardt"
    link: "https://researchr.org/alias/jason-eckhardt"
  - name: "Roumen Kaiabachev"
    link: "https://researchr.org/alias/roumen-kaiabachev"
  - name: "Emir Pasalic"
    link: "https://researchr.org/alias/emir-pasalic"
  - name: "Kedar N. Swadi"
    link: "https://researchr.org/alias/kedar-n.-swadi"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s00354-007-0020-x"
  links:
    doi: "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"
  kind: "article"
  key: "EckhardtKPST07"
- 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:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "2196"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42558-6"
  kind: "proceedings"
  key: "saig:2001"
- 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:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "1924"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41054-6"
  kind: "proceedings"
  key: "saig:2000"
- 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:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "2487"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44284-7"
  kind: "proceedings"
  key: "gpce:2002"