@inproceedings{DBLP:conf/pldi/VogtSK89,
  author    = {Harald Vogt and
               S. Doaitse Swierstra and
               Matthijs F. Kuiper},
  title     = {{Higher-Order Attribute Grammars}},
  booktitle = {PLDI},
  year      = {1989},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/waga/KuiperS90,
  author    = {Matthijs F. Kuiper and
               S. Doaitse Swierstra},
  title     = {{Parallel Attribute Evaluation: Structure of Evaluators and
               Detection of Parallelism}},
  booktitle = {WAGA},
  year      = {1990},
  pages     = {61-75},
  ee        = {http://dx.doi.org/10.1007/3-540-53101-7_5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/waga/1990,
  editor    = {Pierre Deransart and
               Martin Jourdan},
  title     = {Attribute Grammars and their Applications, International
               Conference WAGA, Paris, Fance, September 19-21, 1990, Proceedings},
  booktitle = {WAGA},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {461},
  year      = {1990},
  isbn      = {3-540-53101-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/saga/SwierstraV91,
  author    = {S. Doaitse Swierstra and
               Harald Vogt},
  title     = {{Higher Order Attribute Grammars}},
  booktitle = {Attribute Grammars, Applications and Systems},
  year      = {1991},
  pages     = {256-296},
  crossref  = {DBLP:conf/saga/1991},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/saga/1991,
  editor    = {Henk Alblas and
               Borivoj Melichar},
  title     = {Attribute Grammars, Applications and Systems, International
               Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991,
               Proceedings},
  booktitle = {Attribute Grammars, Applications and Systems},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {545},
  year      = {1991},
  isbn      = {3-540-54572-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/ifip2-4/SwierstraA98,
  author    = {S. Doaitse Swierstra and
               Pablo R. Azero Alcocer},
  title     = {Attribute grammars in the functional style},
  booktitle = {Systems Implementation 2000},
  year      = {1998},
  pages     = {180-193},
  crossref  = {DBLP:conf/ifip2-4/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ifip2-4/1998,
  editor    = {R. Nigel Horspool},
  title     = {Systems Implementation 2000, IFIP TC2 WG2.4 Working Conference
               on Systems Implementation 2000: Languages, methods and tools,
               23-26 February 1998, Berlin, Germay},
  booktitle = {Systems Implementation 2000},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {117},
  year      = {1998},
  isbn      = {0-412-83530-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{DBLP:journals/informaticaSI/MoorBS00,
  author    = {Oege de Moor and
               Kevin Backhouse and
               S. Doaitse Swierstra},
  title     = {{First-class Attribute Grammars}},
  journal   = {Informatica (Slovenia)},
  volume    = {24},
  number    = {3},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/icfp/VieraSS09,
  author    = {Marcos Viera and
               S. Doaitse Swierstra and
               Wouter Swierstra},
  title     = {{Attribute grammars fly first-class: how to do aspect oriented
               programming in Haskell}},
  booktitle = {ICFP},
  year      = {2009},
  pages     = {245-256},
  ee        = {http://doi.acm.org/10.1145/1596550.1596586},
  crossref  = {DBLP:conf/icfp/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icfp/2009,
  editor    = {Graham Hutton and
               Andrew P. Tolmach},
  title     = {Proceeding of the 14th ACM SIGPLAN international conference
               on Functional programming, ICFP 2009, Edinburgh, Scotland,
               UK, August 31 - September 2, 2009},
  booktitle = {ICFP},
  publisher = {ACM},
  year      = {2009},
  isbn      = {978-1-60558-332-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/waga/JourdanBP90,
  author    = {Martin Jourdan and
               Carole Le Bellec and
               Didier Parigot},
  title     = {{The OLGA Attribute Grammar Description Language: Design,
               Implementation and Evaluation}},
  booktitle = {WAGA},
  year      = {1990},
  pages     = {222-237},
  ee        = {http://dx.doi.org/10.1007/3-540-53101-7_16},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/waga/Augusteijn90,
  author    = {Lex Augusteijn},
  title     = {{The Elegant Compiler Generator System}},
  booktitle = {WAGA},
  year      = {1990},
  pages     = {238-254},
  ee        = {http://dx.doi.org/10.1007/3-540-53101-7_17},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/waga/Knuth90,
  author    = {Donald E. Knuth},
  title     = {{The Genesis of Attribute Grammars}},
  booktitle = {WAGA},
  year      = {1990},
  pages     = {1-12},
  ee        = {http://dx.doi.org/10.1007/3-540-53101-7_1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{DBLP:journals/mst/Knuth68,
  author    = {Donald E. Knuth},
  title     = {{Semantics of Context-Free Languages}},
  journal   = {Math. Sys. Theory},
  volume    = {2},
  number    = {2},
  year      = {1968},
  pages     = {127-145},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{DBLP:journals/entcs/WykBGK08,
  author    = {Eric Van Wyk and
               Derek Bodin and
               Jimin Gao and
               Lijesh Krishnan},
  title     = {{Silver: an Extensible Attribute Grammar System}},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {203},
  number    = {2},
  year      = {2008},
  pages     = {103-116},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2008.03.047},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/oopsla/EkmanH07,
  author    = {Torbj{\"o}rn Ekman and
               G{\"o}rel Hedin},
  title     = {The jastadd extensible java compiler},
  booktitle = {OOPSLA},
  year      = {2007},
  pages     = {1-18},
  ee        = {http://doi.acm.org/10.1145/1297027.1297029},
  crossref  = {DBLP:conf/oopsla/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/oopsla/2007,
  editor    = {Richard P. Gabriel and
               David F. Bacon and
               Cristina Videira Lopes and
               Guy L. Steele Jr.},
  title     = {Proceedings of the 22nd Annual ACM SIGPLAN Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
  booktitle = {OOPSLA},
  publisher = {ACM},
  year      = {2007},
  isbn      = {978-1-59593-786-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{DBLP:journals/acta/Kastens80,
  author    = {Uwe Kastens},
  title     = {{Ordered Attributed Grammars}},
  journal   = {Acta Inf.},
  volume    = {13},
  year      = {1980},
  pages     = {229-256},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@TECHREPORT{Saraiva99,
    author = {João Alexandre Baptista Vieira Saraiva and S. Doaitse Swierstra},
    title = {{Purely Functional Implementation of Attribute Grammars}},
    institution = {Universiteit Utrecht},
    year = {1999}
}


@article{DBLP:journals/toplas/Boyland96,
  author    = {John Boyland},
  title     = {{Conditional Attribute Grammars}},
  journal   = {ACM TPLS},
  volume    = {18},
  number    = {1},
  year      = {1996},
  pages     = {73-108},
  ee        = {http://doi.acm.org/10.1145/225540.225544},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/afp/DijkstraS04,
  author    = {Atze Dijkstra and
               S. Doaitse Swierstra},
  title     = {{Typing Haskell with an Attribute Grammar}},
  booktitle = {Advanced Functional Programming},
  year      = {2004},
  pages     = {1-72},
  ee        = {http://dx.doi.org/10.1007/11546382_1},
  crossref  = {DBLP:conf/afp/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/afp/2004,
  editor    = {Varmo Vene and
               Tarmo Uustalu},
  title     = {Advanced Functional Programming, 5th International School,
               AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures},
  booktitle = {Advanced Functional Programming},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {3622},
  year      = {2005},
  isbn      = {3-540-28540-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{1596650,
 author = {Dijkstra, Atze and Fokker, Jeroen and Swierstra, S. Doaitse},
 title = {{The architecture of the Utrecht Haskell compiler}},
 booktitle = {Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell},
 year = {2009},
 isbn = {978-1-60558-508-6},
 pages = {93--104},
 location = {Edinburgh, Scotland},
 doi = {http://doi.acm.org/10.1145/1596638.1596650},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@article{ 10.1109/SCAM.2007.13,
author = {Eva Magnusson and Torbjorn Ekman and Gorel Hedin},
title = {Extending Attribute Grammars with Collection Attributes--Evaluation and Applications},
journal ={SCAM07},
volume = {0},
year = {2007},
isbn = {0-7695-2880-5},
pages = {69-80},
doi = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2007.13},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}


@inproceedings{512989,
 author = {Jazayeri, M. and Ogden, W. F. and Rounds, W. C.},
 title = {On the complexity of the circularity test for attribute grammars},
 booktitle = {POPL '75},
 year = {1975},
 pages = {119--129},
 location = {Palo Alto, California},
 doi = {http://doi.acm.org/10.1145/512976.512989},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@MISC{Schrage04proxima,
   author = {Martijn Michiel Schrage and J. T. Jeuring},
   title = {{Proxima - A presentation-oriented editor for structured documents}},
   year = {2004}
}


@inproceedings{jones06,
  author    = {Simon L. {Peyton~Jones} and
               Dimitrios Vytiniotis and
               Stephanie Weirich and
               Geoffrey Washburn},
  title     = {{Simple unification-based type inference for GADTs}},
  booktitle = {ICFP},
  year      = {2006},
  pages     = {50-61},
  ee        = {http://doi.acm.org/10.1145/1159803.1159811},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@book{DBLP:books/cu/Appel1998,
  author    = {Andrew W. Appel},
  title     = {Modern Compiler Implementation in Java},
  publisher = {Cambridge University Press},
  year      = {1998},
  isbn      = {0-521-58388-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@MISC{Kuiper87usingattribute,
    author = {M. F. Kuiper and S. Doaitse Swierstra},
    title = {{Using Attribute Grammars to Derive Efficient Functional Programs}}
}


@inproceedings{DBLP:conf/popl/KennedyW76,
  author    = {Ken Kennedy and
               Scott K. Warren},
  title     = {{Automatic Generation of Efficient Evaluators for Attribute
               Grammars}},
  booktitle = {POPL},
  year      = {1976},
  pages     = {32-49},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/lernet/Swierstra08,
  author    = {S. Doaitse Swierstra},
  title     = {Combinator Parsing: A Short Tutorial},
  booktitle = {LerNet ALFA Summer School},
  year      = {2008},
  pages     = {252-300},
  ee        = {http://dx.doi.org/10.1007/978-3-642-03153-3_6},
  crossref  = {DBLP:conf/lernet/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lernet/2008,
  editor    = {Ana Bove and
               Lu\'{\i}s Soares Barbosa and
               Alberto Pardo and
               Jorge Sousa Pinto},
  title     = {Language Engineering and Rigorous Software Development,
               International LerNet ALFA Summer School 2008, Piriapolis,
               Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures},
  booktitle = {LerNet ALFA Summer School},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {5520},
  year      = {2009},
  isbn      = {978-3-642-03152-6},
  ee        = {http://dx.doi.org/10.1007/978-3-642-03153-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@book{153676,
 author = {Jones, Neil D. and Gomard, Carsten K. and Sestoft, Peter},
 title = {Partial evaluation and automatic program generation},
 year = {1993},
 isbn = {0-13-020249-5},
 publisher = {Prentice-Hall, Inc.},
 address = {Upper Saddle River, NJ, USA},
 }


@misc{uuagc,
Author={{Universiteit Utrecht}},
Howpublished={\url{http://www.cs.uu.nl/wiki/HUT/AttributeGrammarSystem}},
Title={{Universiteit Utrecht Attribute Grammar System}}
}

@MISC{Hudak99agentle,
    author = {Paul Hudak and John Peterson and Joseph Fasel},
    title = {A Gentle Introduction to Haskell 98},
    year = {1999}
}