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

@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},
  ee        = {http://doi.acm.org/10.1145/800168.811538},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/acta/Kastens80,
  author    = {Uwe Kastens},
  title     = {{Ordered Attributed Grammars}},
  journal   = {Acta Informatica},
  volume    = {13},
  year      = {1980},
  pages     = {229-256},
  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 = {AFP},
  year      = {2004},
  pages     = {1-72},
  ee        = {http://dx.doi.org/10.1007/11546382_1},
  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    = {Lecture Notes in Computer Science},
  volume    = {3622},
  year      = {2005},
  isbn      = {3-540-28540-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/entcs/FokkerS09,
  author    = {Jeroen Fokker and
               S. Doaitse Swierstra},
  title     = {{Abstract Interpretation of Functional Programs using an
               Attribute Grammar System}},
  journal   = {ENTCS},
  volume    = {238},
  number    = {5},
  year      = {2009},
  pages     = {117-133},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2009.09.044},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/haskell/DijkstraFS09,
  author    = {Atze Dijkstra and
               Jeroen Fokker and
               S. Doaitse Swierstra},
  title     = {{The Architecture of the Utrecht Haskell Compiler}},
  booktitle = {Haskell},
  year      = {2009},
  pages     = {93-104},
  ee        = {http://doi.acm.org/10.1145/1596638.1596650},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/haskell/2009,
  editor    = {Stephanie Weirich},
  title     = {Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell,
               Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009},
  booktitle = {Haskell},
  publisher = {ACM},
  year      = {2009},
  isbn      = {978-1-60558-508-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/sigplan/HudakPWBFFGHHJKNPP92,
  author    = {Paul Hudak and
               Simon L. Peyton Jones and
               Philip Wadler and
               Brian Boutel and
               Jon Fairbairn and
               Joseph H. Fasel and
               Mar\'{\i}a M. Guzm{\'a}n and
               Kevin Hammond and
               John Hughes and
               Thomas Johnsson and
               Richard B. Kieburtz and
               Rishiyur S. Nikhil and
               Will Partain and
               John Peterson},
  title     = {{Report on the Programming Language Haskell, A Non-strict,
               Purely Functional Language}},
  journal   = {SIGPLAN Notices},
  volume    = {27},
  number    = {5},
  year      = {1992},
  pages     = {1-},
  ee        = {http://doi.acm.org/10.1145/130697.130699},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/jfp/Faxen02,
  author    = {Karl-Filip Fax{\'e}n},
  title     = {A static semantics for Haskell},
  journal   = {J. Funct. Program.},
  volume    = {12},
  number    = {4{\&}5},
  year      = {2002},
  pages     = {295-357},
  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},
  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/gpce/Saraiva02,
  author    = {Jo{\~a}o Saraiva},
  title     = {{Component-Based Programming for Higher-Order Attribute Grammars}},
  booktitle = {GPCE},
  year      = {2002},
  pages     = {268-282},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2487/24870268.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/gpce/2002,
  editor    = {Don S. Batory and
               Charles Consel and
               Walid Taha},
  title     = {Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT
               Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8,
               2002, Proceedings},
  booktitle = {GPCE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2487},
  year      = {2002},
  isbn      = {3-540-44284-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},
  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/entcs/WykBGK08,
  author    = {Eric v. Wyk and
               Derek Bodin and
               Jimin Gao and
               Lijesh Krishnan},
  title     = {{Silver: an Extensible Attribute Grammar System}},
  journal   = {ENTCS},
  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},
  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}
}

@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},
  pages     = {131-145},
  ee        = {http://doi.acm.org/10.1145/73141.74830},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/cc/KatsSV09,
  author    = {Lennart C. L. Kats and
               Anthony M. Sloane and
               Eelco Visser},
  title     = {{Decorated Attribute Grammars: Attribute Evaluation Meets
               Strategic Programming}},
  booktitle = {CC},
  year      = {2009},
  pages     = {142-157},
  ee        = {http://dx.doi.org/10.1007/978-3-642-00722-4_11},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cc/2009,
  editor    = {Oege de Moor and
               Michael I. Schwartzbach},
  title     = {Compiler Construction, 18th International Conference, CC
               2009, Held as Part of the Joint European Conferences on
               Theory and Practice of Software, ETAPS 2009, York, UK, March
               22-29, 2009. Proceedings},
  booktitle = {CC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5501},
  year      = {2009},
  isbn      = {978-3-642-00721-7},
  ee        = {http://dx.doi.org/10.1007/978-3-642-00722-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/toplas/Jones90,
  author    = {Larry G. Jones},
  title     = {{Efficient Evaluation of Circular Attribute Grammars}},
  journal   = {ACM Transactions on Programming Languages and Systems},
  volume    = {12},
  number    = {3},
  year      = {1990},
  pages     = {429-462},
  ee        = {http://doi.acm.org/10.1145/78969.78971},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/ibmrd/Arbab86,
  author    = {Bijan Arbab},
  title     = {{Compiling Circular Attribute Grammars Into Prolog}},
  journal   = {IBM Journal of Research and Development},
  volume    = {30},
  number    = {3},
  year      = {1986},
  pages     = {294-309},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/jacm/EngelfrietF89,
  author    = {Joost Engelfriet and
               Gilberto Fil{\'e}},
  title     = {{Passes, sweeps, and visits in attribute grammars}},
  journal   = {Journal of the ACM},
  volume    = {36},
  number    = {4},
  year      = {1989},
  pages     = {841-869},
  ee        = {http://doi.acm.org/10.1145/76359.76366},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/mst/RiisS81,
  author    = {Hanne Riis Nielson and
               Sven Skyum},
  title     = {k-visit Attribute Grammars},
  journal   = {Mathematical Systems Theory},
  volume    = {15},
  number    = {1},
  year      = {1981},
  pages     = {17-28},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/toplas/Boyland96,
  author    = {John Tang Boyland},
  title     = {{Conditional Attribute Grammars}},
  journal   = {ACM Transactions on Programming Languages and Systems},
  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/flops/DijkstraS06,
  author    = {Atze Dijkstra and
               S. Doaitse Swierstra},
  title     = {{Ruler: Programming Type Rules}},
  booktitle = {FLOPS},
  year      = {2006},
  pages     = {30-46},
  ee        = {http://dx.doi.org/10.1007/11737414_4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/flops/2006,
  editor    = {Masami Hagiya and
               Philip Wadler},
  title     = {Functional and Logic Programming, 8th International Symposium,
               FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  booktitle = {FLOPS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3945},
  year      = {2006},
  isbn      = {3-540-33438-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{Pierce02,
 author = {Pierce, Benjamin C.},
 title = {Types and programming languages},
 year = {2002},
 isbn = {0-262-16209-1},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
 }

@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}
}

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

@misc{Middelkoop10ifl,
  title = {{Towards Dependently Typed Attribute Grammars}},
  author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
  year = {2010},
  institution = {Universiteit Utrecht},
  howpublished={\url{http://people.cs.uu.nl/ariem/ifl10-depend.pdf}}
}

@misc{Middelkoop10wgt,
  title = {{Iterative Type Inference with Attribute Grammars}},
  author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
  year = {2010},
  institution = {Universiteit Utrecht},
  howpublished={\url{http://people.cs.uu.nl/ariem/wgt10-journal.pdf}}
}