@inproceedings{DBLP:conf/icfp/VytiniotisWJ08,
	Author = {Dimitrios Vytiniotis and Stephanie Weirich and Simon L. {Peyton Jones}},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ICFP '08},
	Ee = {http://doi.acm.org/10.1145/1411204.1411246},
	Pages = {295-306},
	Title = {{FPH: First-Class Polymorphism for Haskell}},
	Year = {2008}}

@inproceedings{DBLP:conf/popl/Leijen09,
	Author = {Daan Leijen},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {POPL '09},
	Ee = {http://doi.acm.org/10.1145/1480881.1480891},
	Pages = {66-77},
	Title = {{Flexible Types: Robust Type Inference for First-Class Polymorphism}},
	Year = {2009}}

@inproceedings{DBLP:conf/flops/DijkstraS06,
	Author = {Atze Dijkstra and S. Doaitse Swierstra},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {FLOPS '06},
	Ee = {http://dx.doi.org/10.1007/11737414_4},
	Pages = {30-46},
	Title = {{Ruler: Programming Type Rules}},
	Year = {2006}}

@article{DBLP:journals/jlp/Hanus94,
	Author = {Michael Hanus},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Journal = {JLP},
	Pages = {583-628},
	Title = {{The Integration of Functions into Logic Programming: From Theory to Practice}},
	Volume = {19/20},
	Year = {1994}}

@inproceedings{DBLP:conf/alp/Antoy97,
	Author = {Sergio Antoy},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ALP/HOA},
	Pages = {16-30},
	Title = {{Optimal Non-deterministic Functional Logic Computations}},
	Year = {1997}}

@article{DBLP:journals/jcss/Milner78,
	Author = {Robin Milner},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Journal = {Journal of Computer and System Sciences},
	Number = {3},
	Pages = {348-375},
	Title = {{A Theory of Type Polymorphism in Programming}},
	Volume = {17},
	Year = {1978}}

@article{DBLP:journals/jfp/SulzmannS08,
	Author = {Martin Sulzmann and Peter J. Stuckey},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://dx.doi.org/10.1017/S0956796807006569},
	Journal = {JFP},
	Number = {2},
	Pages = {251-283},
	Title = {{HM(X) type inference is CLP(X) solving}},
	Volume = {18},
	Year = {2008}}

@techreport{UUCS2006051,
	Author = {Dijkstra, Atze and Swierstra, Doaitse~S.},
	Institution = {Universiteit Utrecht},
	Title = {{Exploiting Type Annotations}},
	Year = 2006}

@article{DBLP:journals/jfp/JonesVWS07,
	Author = {Simon L. {Peyton Jones} and Dimitrios Vytiniotis and Stephanie Weirich and Mark Shields},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://dx.doi.org/10.1017/S0956796806006034},
	Journal = {JFP},
	Number = {1},
	Pages = {1-82},
	Title = {{Practical Type Inference for Arbitrary-rank Types}},
	Volume = {17},
	Year = {2007}}

@book{509043,
	Address = {Cambridge, MA, USA},
	Author = {Pierce,, Benjamin C.},
	Publisher = {MIT Press},
	Title = {{Types and Programming Languages}},
	Year = {2002}}

@misc{harper,
  Author = {Robert Harper},
  Institution = {Carnegie Mellon University},
  Title = {{Practical Foundations for Programming Languages}},
  Year = {2010}
}

@inproceedings{DBLP:conf/icfp/SewellNOPRSS07,
	Author = {Peter Sewell and Francesco Zappa Nardelli and Scott Owens and Gilles Peskine and Tom Ridge and Susmit Sarkar and Rok Strnisa},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ICFP '07},
	Ee = {http://doi.acm.org/10.1145/1291151.1291155},
	Pages = {1-12},
	Title = {{Ott: Effective Tool Support for the Working Semanticist}},
	Year = {2007}}

@article{DBLP:journals/jfp/LevinP03,
	Author = {Michael Y. Levin and Benjamin C. Pierce},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://dx.doi.org/10.1017/S0956796802004550},
	Journal = {JFP},
	Number = {2},
	Pages = {295-316},
	Title = {{TinkerType: a Language for Playing with Formal Systems}},
	Volume = {13},
	Year = {2003}}

@inproceedings{1411266,
	Author = {Aldrich,, Jonathan and Simmons,, Robert J. and Shin,, Key},
	Booktitle = {FDPE '08},
	Pages = {31--40},
	Title = {{SASyLF: an Educational Proof Assistant for Language Theory}},
	Year = {2008},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/1411260.1411266}}

@article{DBLP:journals/jfp/HarperL07,
	Author = {Robert Harper and Daniel R. Licata},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://dx.doi.org/10.1017/S0956796807006430},
	Journal = {JFP},
	Number = {4-5},
	Pages = {613-673},
	Title = {{Mechanizing Metatheory in a Logical Framework}},
	Volume = {17},
	Year = {2007}}

@article{DBLP:journals/jsyml/Church40,
	Author = {Alonzo Church},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Journal = {Journal of Symbolic Logic},
	Number = {2},
	Pages = {56-68},
	Title = {{A Formulation of the Simple Theory of Types}},
	Volume = {5},
	Year = {1940}}

@inproceedings{721503,
	Author = {Reynolds,, John C.},
	Booktitle = {Programming Symposium},
	Pages = {408--423},
	Title = {{Towards a Theory of Type Structure}},
	Year = {1974}}

@inproceedings{DBLP:conf/ifl/DijkstraFS07,
	Author = {Atze Dijkstra and Jeroen Fokker and S. Doaitse Swierstra},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {IFL '07},
	Ee = {http://dx.doi.org/10.1007/978-3-540-85373-2_4},
	Pages = {57-74},
	Title = {{The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity}},
	Year = {2007}}

@inproceedings{DBLP:conf/icfp/HeerenHS03,
	Author = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ICFP '03},
	Ee = {http://doi.acm.org/10.1145/944705.944707},
	Pages = {3-13},
	Title = {{Scripting the Type Inference Process}},
	Year = {2003}}

@inproceedings{DBLP:conf/ifl/HageH06,
	Author = {Jurriaan Hage and Bastiaan Heeren},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {IFL '06},
	Ee = {http://dx.doi.org/10.1007/978-3-540-74130-5_12},
	Pages = {199-216},
	Title = {{Heuristics for Type Error Discovery and Recovery}},
	Year = {2006}}

@inproceedings{143210,
	Author = {Farrow, R. and Marlowe, T. J. and Yellin, D. M.},
	Booktitle = {POPL '92},
	Date-Modified = {2011-01-04 17:12:22 +0100},
	Pages = {223--234},
	Title = {{Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation}},
	Year = {1992},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/143165.143210}}

@article{DBLP:journals/jfp/Faxen02,
	Author = {Karl-Filip Fax{\'e}n},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Journal = {JFP},
	Number = {4{\&}5},
	Pages = {295-357},
	Title = {{A Static Semantics for {Haskell}}},
	Volume = {12},
	Year = {2002}}

@inproceedings{DBLP:conf/fp/HallHPJW92,
	Author = {Cordelia V. Hall and Kevin Hammond and Will Partain and Simon L. Peyton Jones and Philip Wadler},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {Functional Programming},
	Pages = {62-71},
	Title = {{The Glasgow Haskell Compiler: A Retrospective}},
	Year = {1992}}

@article{DBLP:journals/corr/abs-0906-4474,
	Author = {Jon Sneyers and Peter Van Weert and Tom Schrijvers and Leslie De Koninck},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://arxiv.org/abs/0906.4474},
	Journal = {CoRR '09},
	Title = {{As Time Goes By: Constraint Handling Rules - A Survey of CHR Research from 1998 to 2007}},
	Volume = {abs/0906.4474},
	Year = {2009}}

@inproceedings{DBLP:conf/tphol/Schurmann09,
	Author = {Carsten Sch{\"u}rmann},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {TPHOLs '09},
	Ee = {http://dx.doi.org/10.1007/978-3-642-03359-9_7},
	Pages = {79-83},
	Title = {{The Twelf Proof Assistant}},
	Year = {2009}}

@article{HARPER:2007:MML:1296837.1296842,
   author = {Harper, Robert and Licata, Daniel R.},
   title = {{Mechanizing metatheory in a logical framework}},
   journal = {JFP},
   volume = {17},
   issue = {4-5},
   year = {2007},
   pages = {613--673},
   numpages = {61}
  }

@inproceedings{Aldrich:2008:SEP:1411260.1411266,
 author = {Aldrich, Jonathan and Simmons, Robert J. and Shin, Key},
 title = {{SASyLF: an Educational Proof Assistant for Language Theory}},
 booktitle = {FDPE '08},
 year = {2008},
 pages = {31--40},
 numpages = {10}
}

@article{DBLP:journals/corr/abs-cs-0603118,
	Author = {Yves Bertot},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://arxiv.org/abs/cs/0603118},
	Journal = {CoRR '06},
	Title = {{Coq in a Hurry}},
	Year = {2006}}

@article{Chomsky56,
  Author = {Chomsky, Noam},
  Title = {{Three Models for the Description of Language}},
  Journal = {Transactions on Information Theory},
  Volume = {2},
  Pages = {113-124},
  Year = {1956}}

@inproceedings{DBLP:conf/tphol/WenzelPN08,
	Author = {Makarius Wenzel and Lawrence C. Paulson and Tobias Nipkow},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {TPHOLs '08},
	Ee = {http://dx.doi.org/10.1007/978-3-540-71067-7_7},
	Pages = {33-38},
	Title = {{The Isabelle Framework}},
	Year = {2008}}

@article{Wells1999111,
title = {{Typability and Type Checking in System F are Equivalent and Undecidable}},
journal = "Annals of Pure and Applied Logic",
volume = "98",
number = "1-3",
pages = "111 - 156",
year = "1999",
author = "J. B. Wells"
}

@misc{Sulzmann00ageneral,
	Author = {Martin Sulzmann},
	Title = {{A General Framework for Hindley/Milner Type Systems with Constraints}},
	Year = {2000}}

@inproceedings{DBLP:conf/iclp/Schrijvers08,
	Author = {Tom Schrijvers},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ICLP '08},
	Ee = {http://dx.doi.org/10.1007/978-3-540-89982-2_3},
	Pages = {9-10},
	Title = {{Constraint Handling Rules}},
	Year = {2008}}

@inproceedings{DBLP:conf/afp/DijkstraS04,
	Author = {Atze Dijkstra and S. Doaitse Swierstra},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {AFP '04},
	Ee = {http://dx.doi.org/10.1007/11546382_1},
	Pages = {1-72},
	Title = {{Typing Haskell with an Attribute Grammar}},
	Year = {2004}}

@techreport{arie09,
	Author = {Middelkoop, Arie},
	Institution = {Universiteit Utrecht},
	Note = {{\url{http://www.cs.uu.nl/~ariem/ruler-tutorial.pdf}}},
	Title = {{The Ruler Tutorial}},
	Year = {2009}}

@misc{arie092,
	Author = {Middelkoop, Arie},
	Institution = {Universiteit Utrecht},
	Note = {{\url{http://www.cs.uu.nl/~ariem/ruler-interpreter.zip}}},
	Title = {{The Ruler Interpreter}},
	Year = {2009}}

@misc{ruler,
	Author = {Middelkoop, Arie},
	Title = {{\url{http://www.cs.uu.nl/~ariem/ruler.tar.gz}}},
	Year = {2009}}

@inproceedings{Jones99typinghaskell,
	Author = {Mark P. Jones},
	Booktitle = {Haskell Workshop},
	Title = {{Typing Haskell in Haskell}},
	Year = {1999}}

@inproceedings{DBLP:conf/popl/XuJC09,
	Author = {Dana N. Xu and Simon L. Peyton Jones and Koen Claessen},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {POPL},
	Ee = {http://doi.acm.org/10.1145/1480881.1480889},
	Pages = {41-52},
	Title = {{Static contract checking for Haskell}},
	Year = {2009}}

@inproceedings{meijerjeuring95,
	Author = {Meijer, E. and Jeuring, J.},
	Booktitle = {AFP},
	Pages = {228--266},
	volume = {925},
	Title = {{Merging Monads and Folds for Functional Programming}},
	Year = {1995}}

@inproceedings{DBLP:conf/cc/Hedin94,
	Author = {G{\"o}rel Hedin},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {CC '94},
	Ee = {http://dx.doi.org/10.1007/3-540-57877-3_3},
	Pages = {31-51},
	Title = {{An Overview of Door Attribute Grammars}},
	Year = {1994}}

@inproceedings{jones06,
	Author = {Simon L. {Peyton~Jones} and Dimitrios Vytiniotis and Stephanie Weirich and Geoffrey Washburn},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ICFP '06},
	Ee = {http://doi.acm.org/10.1145/1159803.1159811},
	Pages = {50-61},
	Title = {{Simple Unification-based Type Inference for GADTs}},
	Year = {2006}}

@techreport{jones04,
	Author = {Simon L. {Peyton~Jones} and Geoffrey Washburn and Stephanie Weirich},
	Institution = {University of Pennsylvania},
	Number = {MS-CIS-05-26},
	Pdf = {http://www.cis.upenn.edu/~geoffw/research/papers/MS-CIS-05-26.pdf},
	Title = {{Wobbly Types: Type Inference for Generalised Algebraic Data Types}},
	Year = 2004}

@inproceedings{baars02,
	Author = {Arthur I. Baars and S. Doaitse Swierstra},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ICFP '02},
	Ee = {http://doi.acm.org/10.1145/581478.581494},
	Pages = {157-166},
	Title = {{Typing Dynamic Typing}},
	Year = {2002}}

@inproceedings{sulzmann07,
	Author = {Martin Sulzmann and Manuel M. T. Chakravarty and Simon L. {Peyton~Jones} and Kevin Donnelly},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {TLDI '07},
	Ee = {http://doi.acm.org/10.1145/1190315.1190324},
	Pages = {53-66},
	Title = {{System F with Type Equality Coercions}},
	Year = {2007}}

@inproceedings{sulzmann06,
	Author = {Martin Sulzmann and Jeremy Wazny and Peter J. Stuckey},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {FLOPS '06},
	Ee = {http://dx.doi.org/10.1007/11737414_5},
	Pages = {47-64},
	Title = {{A Framework for Extended Algebraic Data Types}},
	Year = {2006}}

@phdthesis{wazny06,
	Author = {Jeremy Richard Wazny},
	School = {University of Melbourne},
	Title = {{Type Inference and Type Error Diagnosis for Hindley/Milner with Extensions}},
	Year = {2006}}

@inproceedings{vytiniotis06,
	Author = {Dimitrios Vytiniotis and Stephanie Weirich and Simon L. {Peyton~Jones}},
	Booktitle = {ICFP '06},
	Pages = {251-262},
	Title = {Boxy types: inference for higher-rank types and impredicativity.},
	Year = {2006}}

@inproceedings{pottier06,
	Author = {Fran\c{c}ois Pottier and Yann R{\'e}gis-Gianas},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {POPL '06},
	Ee = {http://doi.acm.org/10.1145/1111037.1111058},
	Pages = {232-244},
	Title = {{Stratified Type Inference for Generalized Algebraic Data Types}},
	Year = {2006}}

@article{stuckey05,
	Author = {Peter J. Stuckey and Martin Sulzmann},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://arxiv.org/abs/cs/0507037},
	Journal = {CoRR '05},
	Title = {{Type Inference for Guarded Recursive Data Types}},
	Volume = {abs/cs/0507037},
	Year = {2005}}

@misc{dijkstra04,
	Author = {Dijkstra, Atze},
	Date-Modified = {2011-01-04 17:12:22 +0100},
	Eprint = {papers/dijkstra04ehc-web.pdf},
	Howpublished = {\verb|http://www.cs.uu.nl/wiki/Ehc/WebHome|},
	Title = {{EHC Web}},
	Year = {2004},
	Bdsk-Url-1 = {http://www.cs.uu.nl/wiki/Ehc/WebHome}}

@phdthesis{dijkstra05phd,
	Author = {Dijkstra, Atze},
	Date-Modified = {2011-01-04 17:12:22 +0100},
	School = {Universiteit Utrecht},
	Title = {{Stepping through Haskell}},
	Year = {2005},
	Bdsk-Url-1 = {http://www.cs.uu.nl/wiki/Ehc/WebHome}}

@article{chr98,
	Author = {Thom Fr{\"u}hwirth},
	Date-Modified = {2011-01-04 17:12:22 +0100},
	Journal = {JLP},
	Number = {1-3},
	Pages = {95-138},
	Title = {{Theory and Practice of Constraint Handling Rules}},
	Volume = {37},
	Year = {1998}}

@misc{stuckey02,
	Author = {P. Stuckey and M. Sulzmann},
	Date-Modified = {2011-01-04 17:12:22 +0100},
	Text = {P. J. Stuckey and M. Sulzmann. A theory of overloading. In Proc. of ICFP'02, 2002. to appear.},
	Title = {{A Theory of Overloading}},
	Year = {2002},
	Bdsk-Url-1 = {citeseer.ist.psu.edu/stuckey02theory.html}}

@misc{rossberg02,
	Author = {A. Rossberg and M. Sulzmann},
	Date-Modified = {2011-01-04 17:12:22 +0100},
	Title = {{A theory of overloading part II: Semantics and coherence}},
	Year = {2002},
	Bdsk-Url-1 = {citeseer.ist.psu.edu/rossberg02theory.html}}

@mastersthesis{geest07,
	Author = {Gerrit van den Geest},
	Date-Modified = {2011-01-04 17:12:22 +0100},
	School = {Universiteit Utrecht},
	Title = {{Constraints for Type Class Extensions}},
	Year = {2007},
	Bdsk-Url-1 = {people.cs.uu.nl/bastiaan/vandengeest07thesis.pdf}}

@inproceedings{jeuj09:AFP_2008,
	Author = {Johan Jeuring and Sean Leather and Jos{\'e} Pedro Magalh{\~a}es and Alexey Rodriguez Yakushev},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {AFP '08},
	Ee = {http://dx.doi.org/10.1007/978-3-642-04652-0_4},
	Pages = {165-229},
	Title = {{Libraries for Generic Programming in Haskell}},
	Year = {2008}}

@inproceedings{DBLP:conf/tldi/BaarsSV09,
	Author = {Arthur I. Baars and S. Doaitse Swierstra and Marcos Viera},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {TLDI '09},
	Ee = {http://doi.acm.org/10.1145/1481861.1481865},
	Pages = {15-26},
	Title = {{Typed Transformations of Typed Abstract Syntax}},
	Year = {2009}}

@inproceedings{uhc,
	Author = {Atze Dijkstra and Jeroen Fokker and S. Doaitse Swierstra},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {Haskell Symposium},
	Ee = {http://doi.acm.org/10.1145/1596638.1596650},
	Pages = {93-104},
	Title = {{The Architecture of the Utrecht Haskell Compiler}},
	Year = {2009}}

@inproceedings{DBLP:conf/icfp/SchrijversJSV09,
	Author = {Tom Schrijvers and Simon L. Peyton Jones and Martin Sulzmann and Dimitrios Vytiniotis},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ICFP '09},
	Ee = {http://doi.acm.org/10.1145/1596550.1596599},
	Pages = {341-352},
	Title = {{Complete and Decidable Type Inference for GADTs}},
	Year = {2009}}

@article{DBLP:journals/toplas/SimonetP07,
	Author = {Vincent Simonet and Fran\c{c}ois Pottier},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://doi.acm.org/10.1145/1180475.1180476},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Number = {1},
	Title = {{A Constraint-based Approach to Guarded Algebraic Data types}},
	Volume = {29},
	Year = {2007}}

@misc{gadt-short,
	Author = {M. Sulzmann and T. Schrijvers and P. J. Stuckey},
	Title = {{Type Inference for GADTs via Herbrand Constraint Abduction}},
	Year = {2006}}

@inproceedings{pointwise,
	Author = {{Chuan-kai} Lin and Tim Sheard},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {TLDI '10},
	Ee = {http://doi.acm.org/10.1145/1708016.1708024},
	Pages = {51-62},
	Title = {{Pointwise Generalized Algebraic Data Types}},
	Year = {2010}}

@inproceedings{mypaper,
	Author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
	Booktitle = {TFP},
	Pages = {65-80},
	Title = {{A Leaner Specification for Generalized Algebraic Data Types}},
	Volume = {9},
	Year = {2008}}

@inproceedings{1079715,
	Author = {Michael J. Maher},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {LICS '05},
	Ee = {http://dx.doi.org/10.1109/LICS.2005.21},
	Pages = {397-406},
	Title = {{Herbrand Constraint Abduction}},
	Year = {2005}}

@techreport{Cheney03first-classphantom,
	Author = {James Cheney and Ralf Hinze},
	Institution = {Cornell University},
	Title = {{First-Class Phantom Types}},
	Year = {2003}}

@article{DBLP:journals/fuin/Urzyczyn96,
	Author = {Pawel Urzyczyn},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Journal = {Symposium on Mathematical Foundations of Computer Science},
	Number = {1-2},
	Pages = {197-209},
	Title = {{Positive Recursive Type Assignment}},
	Volume = {28},
	Year = {1996}}

@article{DBLP:journals/jfp/Mogensen92,
	Author = {Torben {\AE}. Mogensen},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Journal = {JFP},
	Number = {3},
	Pages = {345-363},
	Title = {{Efficient Self-Interpretations in Lambda Calculus}},
	Volume = {2},
	Year = {1992}}

@MISC{Dijkstra08efficientfunctional,
    author = {Atze Dijkstra and Arie Middelkoop and S. Doaitse Swierstra},
    title = {{Efficient Functional Unification and Substitution}},
    year = {2008}
}

@inproceedings{citeulike:352561,
	Author = {Heeren, Bastiaan and Hage, Jurriaan and Swierstra, Doaitse S.},
	Pages = {59--80},
	Title = {{Constraint-based Type Inferencing in Helium}},
	Year = {2003}}

@inproceedings{middelkoop09wgt10,
	Author = {Middelkoop, Arie and Dijkstra, Atze and Swierstra, S. Doaitse},
	Booktitle = {WGT '10},
	Title = {{Visit Functions} for the {Semantics} of {Programming Languages}},
	Year = {2010}}

@article{DBLP:journals/mst/Knuth68,
	Author = {Donald E. Knuth},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Journal = {Mathematical Systems Theory},
	Number = {2},
	Pages = {127-145},
	Title = {{Semantics of Context-Free Languages}},
	Volume = {2},
	Year = {1968}}

@inproceedings{DBLP:conf/popl/KennedyW76,
	Author = {Ken Kennedy and Scott K. Warren},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {POPL '76},
	Ee = {http://doi.acm.org/10.1145/800168.811538},
	Pages = {32-49},
	Title = {{Automatic Generation of Efficient Evaluators for Attribute Grammars}},
	Year = {1976}}

@article{DBLP:journals/entcs/FokkerS09,
	Author = {Jeroen Fokker and S. Doaitse Swierstra},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://dx.doi.org/10.1016/j.entcs.2009.09.044},
	Journal = {ENTCS},
	Number = {5},
	Pages = {117-133},
	Title = {{Abstract Interpretation of Functional Programs using an Attribute Grammar System}},
	Volume = {238},
	Year = {2009}}

@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},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://doi.acm.org/10.1145/130697.130699},
	Journal = {SIGPLAN Notices},
	Number = {5},
	Pages = {1-164},
	Title = {{Report on the Programming Language Haskell, A Non-strict, Purely Functional Language}},
	Volume = {27},
	Year = {1992}}

@inproceedings{DBLP:conf/icfp/VieraSS09,
	Author = {Marcos Viera and S. Doaitse Swierstra and Wouter Swierstra},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ICFP '09},
	Ee = {http://doi.acm.org/10.1145/1596550.1596586},
	Pages = {245-256},
	Title = {{Attribute Grammars Fly First-Class: how to do Aspect Oriented Programming in Haskell}},
	Year = {2009}}

@inproceedings{DBLP:conf/gpce/Saraiva02,
	Author = {Jo{\~a}o Saraiva},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {GPCE '02},
	Pages = {268-282},
	Title = {{Component-Based Programming for Higher-Order Attribute Grammars}},
	Year = {2002}}

@inproceedings{DBLP:conf/ifip2-4/SwierstraA98,
	Author = {S. Doaitse Swierstra and Pablo R. Azero Alcocer},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {Systems Implementation 2000},
	Pages = {180-193},
	Title = {{Attribute Grammars in the Functional Style}},
	Year = {1998}}

@article{DBLP:journals/entcs/WykBGK08,
	Author = {Van Wyk, Erik and Bodin, Derek and Gao, Jimin and Krishnan, Lijesh},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://dx.doi.org/10.1016/j.entcs.2008.03.047},
	Journal = {ENTCS},
	Number = {2},
	Pages = {103-116},
	Title = {{Silver: an Extensible Attribute Grammar System}},
	Volume = {203},
	Year = {2008}}

@inproceedings{DBLP:conf/pldi/VogtSK89,
	Author = {Harald Vogt and S. Doaitse Swierstra and Matthijs F. Kuiper},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {PLDI '89},
	Ee = {http://doi.acm.org/10.1145/73141.74830},
	Pages = {131-145},
	Title = {{Higher-Order Attribute Grammars}},
	Year = {1989}}

@inproceedings{DBLP:conf/cc/KatsSV09,
	Author = {Lennart C. L. Kats and Anthony M. Sloane and Eelco Visser},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {CC '09},
	Ee = {http://dx.doi.org/10.1007/978-3-642-00722-4_11},
	Pages = {142-157},
	Title = {{Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming}},
	Year = {2009}}

@article{DBLP:journals/toplas/Jones90,
	Author = {Larry G. Jones},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://doi.acm.org/10.1145/78969.78971},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Number = {3},
	Pages = {429-462},
	Title = {{Efficient Evaluation of Circular Attribute Grammars}},
	Volume = {12},
	Year = {1990}}

@article{DBLP:journals/jacm/EngelfrietF89,
	Author = {Joost Engelfriet and Gilberto Fil{\'e}},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://doi.acm.org/10.1145/76359.76366},
	Journal = {Journal of the ACM},
	Number = {4},
	Pages = {841-869},
	Title = {{Passes, Sweeps, and Visits in Attribute Grammars}},
	Volume = {36},
	Year = {1989}}

@article{DBLP:journals/mst/RiisS81,
	Author = {Hanne Riis Nielson and Sven Skyum},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Journal = {Mathematical Systems Theory},
	Number = {1},
	Pages = {17-28},
	Title = {k-visit Attribute Grammars},
	Volume = {15},
	Year = {1981}}

@article{DBLP:journals/toplas/Boyland96,
	Author = {John Tang Boyland},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://doi.acm.org/10.1145/225540.225544},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Number = {1},
	Pages = {73-108},
	Title = {{Conditional Attribute Grammars}},
	Volume = {18},
	Year = {1996}}

@misc{uuagc,
	Author = {Andres {L\"{o}h} and Arthur I. Baars and Swierstra, Doaitse S.},
	Howpublished = {\url{http://www.cs.uu.nl/wiki/HUT/AttributeGrammarSystem}},
	Title = {{Homepage of the Universiteit Utrecht Attribute Grammar System}},
	Year = {1998}}

@misc{Middelkoop10ifl,
	Author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
	Institution = {Universiteit Utrecht},
	Title = {{Dependently Typed Attribute Grammars}},
	Year = {2010}}

@inproceedings{Middelkoop10wgt,
	Author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
  Booktitle = {HOSC},
	Institution = {Universiteit Utrecht},
	Title = {{Attribute Grammars with Side Effect}},
	Year = {2010}}

@article{Middelkoop:2011:VAG:2007516.2008132,
 author = {Middelkoop, Arie and Dijkstra, Atze and Doaitse Swierstra, S.},
 title = {{Visitor-based Attribute Grammars with Side Effect}},
 journal = {ENTCS},
 volume = {264},
 issue = {5},
 year = {2011},
 pages = {47--69},
 numpages = {23}
}

@inproceedings{mypaper2,
	Author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
	Booktitle = {HOSC},
	Title = {{A Leaner Specification for Generalized Algebraic Data Types}},
	Instituation = {Universiteit Utrecht},
	Year = {2010}}

@article {springerlink:10.1007/s10990-011-9065-0,
   author = {Middelkoop, Arie and Dijkstra, Atze and Swierstra, S.},
   title = {{A Lean Specification for GADTs: System F with First-Class Equality Proofs}},
   journal = {HOSC},
   year = {2011},
   pages = {1-22}
}

@inproceedings{DBLP:conf/waga/KuiperS90,
	Author = {Matthijs F. Kuiper and S. Doaitse Swierstra},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {WAGA '90},
	Ee = {http://dx.doi.org/10.1007/3-540-53101-7_5},
	Pages = {61-75},
	Title = {{Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism}},
	Year = {1990}}

@article{DBLP:journals/informaticaSI/MoorBS00,
	Author = {Oege de Moor and Kevin Backhouse and S. Doaitse Swierstra},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Journal = {Informatica (Slovenia)},
	Number = {3},
	Title = {{First-Class Attribute Grammars}},
	Volume = {24},
	Year = {2000}}

@inproceedings{DBLP:conf/waga/JourdanBP90,
	Author = {Martin Jourdan and Carole Le Bellec and Didier Parigot},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {WAGA '90},
	Ee = {http://dx.doi.org/10.1007/3-540-53101-7_16},
	Pages = {222-237},
	Title = {{The OLGA Attribute Grammar Description Language: Design, Implementation and Evaluation}},
	Year = {1990}}

@inproceedings{DBLP:conf/waga/Augusteijn90,
	Author = {Lex Augusteijn},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {WAGA '90},
	Ee = {http://dx.doi.org/10.1007/3-540-53101-7_17},
	Pages = {238-254},
	Title = {{The Elegant Compiler Generator System}},
	Year = {1990}}

@inproceedings{DBLP:conf/waga/Knuth90,
	Author = {Donald E. Knuth},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {WAGA '90},
	Ee = {http://dx.doi.org/10.1007/3-540-53101-7_1},
	Pages = {1-12},
	Title = {{The Genesis of Attribute Grammars}},
	Year = {1990}}

@article{DBLP:journals/acta/Kastens80,
	Author = {Uwe Kastens},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Journal = {Acta Informatica},
	Pages = {229-256},
	Title = {{Ordered Attributed Grammars}},
	Volume = {13},
	Year = {1980}}

@article{DBLP:journals/acta/RaihaS82,
  author    = {Kari-Jouko R{\"a}ih{\"a} and
               Mikko Saarinen},
  title     = {{Testing Attribute Grammars for Circularity}},
  journal   = {Acta Informatica},
  volume    = {17},
  year      = {1982},
  pages     = {185-192}
}

@article{10.1109/SCAM.2007.13,
	Author = {Eva Magnusson and Torbjorn Ekman and Gorel Hedin},
	Journal = {SCAM '07},
	Pages = {69-80},
	Title = {{Extending Attribute Grammars with Collection Attributes--Evaluation and Applications}},
	Volume = {0},
	Year = {2007}
}

@inproceedings{512989,
	Author = {Jazayeri, M. and Ogden, W. F. and Rounds, W. C.},
	Booktitle = {POPL '75},
	Pages = {119--129},
	Title = {{On the Complexity of the Circularity Test for Attribute Grammars}},
	Year = {1975},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/512976.512989}}

@misc{Schrage04proxima,
	Author = {Martijn Michiel Schrage and J. T. Jeuring},
	Title = {{Proxima - A Presentation-Oriented Editor for Structured Documents}},
	Year = {2004}}

@book{DBLP:books/cu/Appel1998,
	Author = {Andrew W. Appel},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Title = {{Modern Compiler Implementation in Java}},
	Year = {1998}}

@book{DBLP:books/cu/Appel2002,
    author    = {Andrew W. Appel},
    title     = {Modern Compiler Implementation in Java, 2nd edition},
    publisher = {Cambridge University Press},
    year      = {2002},
    bibsource = {DBLP, http://dblp.uni-trier.de}
  }

  @book{DBLP:books/cu/Appel1998ml,
    author    = {Andrew W. Appel},
    title     = {{Modern Compiler Implementation in ML}},
    publisher = {Cambridge University Press},
    year      = {1998},
    bibsource = {DBLP, http://dblp.uni-trier.de}
  }

@inproceedings{bove09,
     author = {Bove, Ana and Dybjer, Peter},
     title = {{Dependent Types at Work}},
     booktitle = {{Language Engineering and Rigorous Software Development}},
     pages = {57-99},
     volume = {5520},
     year = {2009}
  }

@misc{Kuiper87usingattribute,
	Author = {M. F. Kuiper and S. Doaitse Swierstra},
	Title = {{Using Attribute Grammars to Derive Efficient Functional Programs}}}

@inproceedings{DBLP:conf/lernet/Swierstra08,
	author = {S. Doaitse Swierstra},
	booktitle = {{Language Engineering and Rigorous Software Development}},
	volume = {5520},
	pages = {252-300},
  year = {2009},
	title = {{Combinator Parsing: A Short Tutorial}},
}

@book{153676,
	Address = {Upper Saddle River, NJ, USA},
	Author = {Jones, Neil D. and Gomard, Carsten K. and Sestoft, Peter},
	Title = {{Partial evaluation and automatic program generation}},
	Year = {1993}}

@inproceedings{Middelkoop10gpce,
   author = {Middelkoop, Arie and Dijkstra, Atze and Swierstra, S. Doaitse},
   title = {{Iterative Type Inference with Attribute Grammars}},
   booktitle = {GPCE '10},
   year = {2010},
   location = {Eindhoven, The Netherlands},
   pages = {43--52},
   numpages = {10},
   keywords = {attribute grammars, type inference},
  }

@book{O'Sullivan:2008:RWH:1523280,
 author = {O'Sullivan, Bryan and Goerzen, John and Stewart, Don},
 title = {{Real World Haskell}},
 year = {2008},
 publisher = {O'Reilly Media, Inc.},
}


@inproceedings{Leijen:helium,
	Author = {Bastiaan Heeren and Daan Leijen and Arjan van IJzendoorn},
	Booktitle = {Haskell Workshop},
	Pages = {62 -- 71},
  Title = {{Helium, for Learning Haskell}},
	Year = 2003}

@misc{CCO,
	Author = {Universiteit Utrecht},
	Howpublished = {\url{http://www.cs.uu.nl/wiki/bin/view/Cco/MiniProjects}},
	Title = {{Mini Projects Compiler Construction}},
	Year = {2010}}

@misc{ASM,
	Author = {Eric Bruneton},
	Howpublished = {\url{http://download.forge.objectweb.org/asm/asm-guide.pdf}},
	Title = {{ASM {3.0}, a Java bytecode engineering library}},
	Year = {2007}}

@misc{jtransact,
	Author = {Annette Bieniusa and Arie Middelkoop},
	Howpublished = {\url{http://proglang.informatik.uni-freiburg.de/projects/dstm/}},
	Title = {{JTransactifier: Transactification of Java Programs through Annotations}},
	Year = {2009}}

@misc{Middelkoop10vis,
	Author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
	Title = {{Visit Functions for the Semantics of Programming Languages}},
	Year = {2010}}

@inproceedings{DBLP:conf/tools/GagnonH98,
	Author = {Etienne M. Gagnon and Laurie J. Hendren},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {TOOLS (26)},
	Ee = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.711009},
	Pages = {140-154},
	Title = {{SableCC, an Object-Oriented Compiler Framework}},
	Year = {1998}}

@inproceedings{DBLP:conf/sigcse/Roberts01,
	Author = {Eric Roberts},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {SIGCSE},
	Ee = {http://doi.acm.org/10.1145/364447.364525},
	Pages = {1-5},
	Title = {{An overview of MiniJava}},
	Year = {2001}}

@inproceedings{674267,
	Author = {Palsberg, Jens and Jay, C. Barry},
	Booktitle = {COMPSAC '98},
	Pages = {9--15},
	Title = {{The Essence of the Visitor Pattern}},
	Year = {1998}}

@inproceedings{DBLP:conf/oopsla/OliveiraWG08,
	Author = {Bruno C. D. S. Oliveira and Meng Wang and Jeremy Gibbons},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {OOPSLA '08},
	Ee = {http://doi.acm.org/10.1145/1449764.1449799},
	Pages = {439-456},
	Title = {{The Visitor Pattern as a Reusable, Generic, Type-safe Component}},
	Year = {2008}}

@inproceedings{DBLP:conf/ecoop/GammaHJV93,
	Author = {Erich Gamma and Richard Helm and Ralph E. Johnson and John M. Vlissides},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ECOOP '93},
	Pages = {406-431},
	Title = {{Design Patterns: Abstraction and Reuse of Object-Oriented Design}},
	Year = {1993}}

@inproceedings{DBLP:conf/oopsla/ChambersL94,
	Author = {Craig Chambers and Gary T. Leavens},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {OOPSLA '94},
	Pages = {1-15},
	Title = {{Typechecking and Modules for Multi-Methods}},
	Year = {1994}}

@article{629079,
	Address = {Piscataway, NJ, USA},
	Author = {Klaiber, A. and Gokhale, M.},
	Journal = {IEEE Transactions on Parallel and Distributed Systems},
	Number = {2},
	Pages = {206--220},
	Title = {{Parallel Evaluation of Attribute Grammars}},
	Volume = {3},
	Year = {1992},
	Bdsk-Url-1 = {http://dx.doi.org/10.1109/71.127261}}

@inproceedings{Heidegger10,
	Author = {Philip Heidegger and Annette Bieniusa and Peter Thiemann},
	Booktitle = {TAICPART '10},
	pages = {211--214},
	Title = {{DOM Transactions for Testing JavaScript}},
	Year = {2010}}

@inproceedings{DBLP:conf/tldi/Norell09,
	Author = {Ulf Norell},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {TLDI '09},
	Ee = {http://doi.acm.org/10.1145/1481861.1481862},
	Pages = {1-2},
	Title = {{Dependently-Typed Programming in Agda}},
	Year = {2009}}

@inproceedings{DBLP:conf/afp/McBride04,
	Author = {Conor McBride},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {AFP '04},
	Ee = {http://dx.doi.org/10.1007/11546382_3},
	Pages = {130-170},
	Title = {{Epigram: Practical Programming with Dependent Types}},
	Year = {2004}}

@inproceedings{DBLP:conf/tphol/Bertot08,
	Author = {Yves Bertot},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {TPHOLs '08},
	Ee = {http://dx.doi.org/10.1007/978-3-540-71067-7_3},
	Pages = {12-16},
	Title = {{A Short Presentation of Coq}},
	Year = {2008}}

@inproceedings{Brady:2011:ISP:1929529.1929536,
 author = {Brady, Edwin C.},
 title = {{IDRIS: Systems Programming meets Full Dependent Types}},
 booktitle = {PLPV '11},
 year = {2011},
 pages = {43--54},
 numpages = {12}
}

@inproceedings{DBLP:conf/oopsla/EkmanH07,
	Author = {Torbj{\"o}rn Ekman and G{\"o}rel Hedin},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {OOPSLA '07},
	Date-Modified = {2011-01-04 17:18:38 +0100},
	Ee = {http://doi.acm.org/10.1145/1297027.1297029},
	Pages = {1-18},
	Title = {{The JastAdd Extensible Java Compiler}},
	Year = {2007}}

@techreport{Saraiva99,
	Author = {{Jo\~{a}o} Saraiva and S. Doaitse Swierstra},
	Institution = {Universiteit Utrecht},
	Title = {{Purely Functional Implementation of Attribute Grammars}},
	Year = {1999}}

@misc{Middelkoop10iflreport,
	Author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
	Institution = {Universiteit Utrecht},
	Title = {{Dependently-Typed Attribute Grammars (extended version)}},
	Year = {2010}}

@misc{Middelkoop10stepwise,
	Author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
	Institution = {Universiteit Utrecht},
	Title = {{Stepwise Evaluation of Attribute Grammars (extended version)}},
	Year = {2010}}

@misc{Walsteijn86,
	Author = {M. J. Walsteijn and M. F. Kuiper},
	Institution = {{Universiteit Utrecht}},
	Title = {{Attribute Grammars in Prolog}},
	Year = {1986}}

@article{Arbab:1986:CCA:13831.13837,
	Author = {Arbab, Bijan},
	Issue = {3},
	Journal = {IBM Journal on Research and Development},
	Numpages = {16},
	Pages = {294--309},
	Title = {{Compiling Circular Attribute Grammars into Prolog}},
	Volume = {30},
	Year = {1986},
	Bdsk-Url-1 = {http://dx.doi.org/10.1147/rd.303.0294}}

@inproceedings{DBLP:conf/waga/Waite90,
	Author = {William M. Waite},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {WAGA '90},
	Ee = {http://dx.doi.org/10.1007/3-540-53101-7_18},
	Pages = {255-265},
	Title = {{Use of Attribute Grammars in Compiler Construction}},
	Year = {1990}}

@article{DBLP:journals/cacm/Leroy09,
	Author = {Xavier Leroy},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://doi.acm.org/10.1145/1538788.1538814},
	Journal = {Communications of the ACM},
	Number = {7},
	Pages = {107-115},
	Title = {{Formal Verification of a Realistic Compiler}},
	Volume = {52},
	Year = {2009}}

@inproceedings{DBLP:conf/icfp/HughesS03,
	Author = {R. John M. Hughes and S. Doaitse Swierstra},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ICFP '03},
	Ee = {http://doi.acm.org/10.1145/944705.944727},
	Pages = {239-248},
	Title = {{Polish Parsers, Step by Step}},
	Year = {2003}}

@misc{Lindley08idiomsare,
	Author = {Sam Lindley and Philip Wadler and Jeremy Yallop},
	Title = {{Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. Mathematical Structures in Functional Programming}},
	Year = {2008}}

@inproceedings{DBLP:conf/afp/Hughes04,
  author    = {John Hughes},
  title     = {{Programming with Arrows}},
  booktitle = {AFP '04},
  year      = {2004},
  pages     = {73-129}
}

@inproceedings{DBLP:conf/icfp/Paterson01,
  author    = {Ross Paterson},
  title     = {{A New Notation for Arrows}},
  booktitle = {ICFP '01},
  year      = {2001},
  pages     = {229-240}
}

@inproceedings{Hinze:2000:DBM:351240.351258,
	Author = {Hinze, Ralf},
	Booktitle = {ICFP '00},
	Numpages = {12},
	Pages = {186--197},
	Title = {{Deriving Backtracking Monad Transformers}},
	Year = {2000},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/351240.351258}}

@inproceedings{DBLP:conf/icfp/FischerKS09,
	Author = {Sebastian Fischer and Oleg Kiselyov and Chung Shan},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ICFP '09},
	Ee = {http://doi.acm.org/10.1145/1596550.1596556},
	Pages = {11-22},
	Title = {{Purely Functional Lazy Non-deterministic Programming}},
	Year = {2009}}

@inproceedings{DBLP:conf/saga/JourdanP91,
	Author = {Martin Jourdan and Didier Parigot},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {AGAS '91},
	Pages = {485-504},
	Title = {{Internals and Externals of the FNC-2 Attribute Grammar System}},
	Year = {1991}}

@inproceedings{DBLP:conf/plilp/Paakki91,
	Author = {Jukka Paakki},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {PLILP '91},
	Ee = {http://dx.doi.org/10.1007/3-540-54444-5_103},
	Pages = {243-254},
	Title = {{PROFIT: A System Integrating Logic Programming and Attribute Grammars}},
	Year = {1991}}

@inproceedings{DBLP:conf/icfp/KiselyovSFS05,
	Author = {Oleg Kiselyov and Chung Shan and Daniel P. Friedman and Amr Sabry},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ICFP '05},
	Ee = {http://doi.acm.org/10.1145/1086365.1086390},
	Pages = {192-203},
	Title = {{Backtracking, Interleaving, and Terminating Monad Transformers (functional pearl)}},
	Year = {2005}}

@misc{iterattees,
	Author = {Oleg Kiselyov},
	Date-Modified = {2011-01-04 17:19:56 +0100},
	Title = {{Iteratee IO: Safe, Practical, Declarative Input Processing}},
	Year = {2008}}

@misc{chrclass,
	Author = {Atze Dijkstra and Gerrit van den Geest and Bastiaan Heeren and S. Doaitse Swierstra},
	Date-Modified = {2011-01-04 17:19:26 +0100},
	Institution = {Universiteit Utrecht},
	Title = {{Modelling Scoped Instances with Constraint Handling Rules}},
	Year = {2007}}

@inproceedings{DBLP:conf/icfp/ErkokL00,
	Author = {Levent Erk{\"o}k and John Launchbury},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ICFP '00},
	Ee = {http://doi.acm.org/10.1145/351240.351257},
	Pages = {174-185},
	Title = {{Recursive Monadic Bindings}},
	Year = {2000}}

@article{DBLP:journals/scp/MagnussonH07,
	Author = {Eva Magnusson and G{\"o}rel Hedin},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://dx.doi.org/10.1016/j.scico.2005.06.005},
	Journal = {SCP '07},
	Number = {1},
	Pages = {21-37},
	Title = {{Circular Reference Attributed Grammars - their Evaluation and Applications}},
	Volume = {68},
	Year = {2007}}

@inproceedings{DBLP:conf/cc/BrandSVV02,
	Author = {Mark van den Brand and Jeroen Scheerder and Jurgen J. Vinju and Eelco Visser},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {CC '02},
	Pages = {143-158},
	Title = {{Disambiguation Filters for Scannerless Generalized LR Parsers}},
	Year = {2002}}

@inproceedings{DBLP:conf/gpce/BravenboerVVV05,
	Author = {Martin Bravenboer and Rob Vermaas and Jurgen J. Vinju and Eelco Visser},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {GPCE '05},
	Ee = {http://dx.doi.org/10.1007/11561347_12},
	Pages = {157-172},
	Title = {{Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax}},
	Year = {2005}}

@book{DBLP:books/sp/Marlin80,
  author    = {Chris D. Marlin},
  title     = {{Coroutines: A Programming Methodology, a Language Design
               and an Implementation}},
  volume    = {95},
  year      = {1980},
  publisher = {Springer-Verlag}
}

@article {springerlink:10.1007/BF01702865,
   author = {Knuth, Donald E.},
   title = {{Semantics of Context-free Languages: Correction}},
   journal = {Theory of Computing Systems},
   pages = {95-96},
   volume = {5},
   issue = {2},
   year = {1971}
}

@article{Farrow:1984:SAG:502949.502881,
 author = {Farrow, Rodney},
 title = {{Sub-Protocol-Evaluators for Attribute Grammars}},
 journal = {Sigplan Notices},
 volume = {19},
 issue = {6},
 year = {1984},
 pages = {70--80}
}

@article {springerlink:10.1007/BF02948394,
   author = {Wang, Shunqian and Ye, Daxing},
   title = {{On Parallel Evaluation of Ordered Attribute Grammars}},
   journal = {Journal of Computer Science and Technology},
   pages = {347-354},
   volume = {6},
   issue = {4},
   year = {1991}
}

@ARTICLE{589224,
author={Nuseibeh, B.},
journal={IEEE Software},
title={{Ariane 5: Who Dunnit?}},
year={1997},
volume={14},
number={3},
pages={15-16}
}

@INPROCEEDINGS{Hanus10transformingfunctional,
    author = {Bernd Bra{\ss}el and Sebastian Fischer and Michael Hanus and Fabian Reck},
    title = {{Transforming Functional Logic Programs into Monadic Functional Programs}},
    booktitle = {WFLP'10},
    year = {2010}
}

@article{DBLP:journals/spe/Frost93,
  author    = {Richard A. Frost},
  title     = {{Guarded Attribute Grammars}},
  journal   = {{Software, Practice and Experience}},
  volume    = {23},
  number    = {10},
  year      = {1993},
  pages     = {1139-1156},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Dijkstra:1968:LEG:362929.362947,
 author = {Dijkstra, Edsger W.},
 title = {{Letters to the Editor: Goto Statement Considered Harmful}},
 journal = {Communications of the ACM},
 volume = {11},
 issue = {3},
 year = {1968},
 pages = {147--148},
 numpages = {2}
}

@article{DBLP:journals/lisp/Reynolds98a,
  author    = {John C. Reynolds},
  title     = {{Definitional Interpreters for Higher-Order Programming Languages}},
  journal   = {HOSC},
  volume    = {11},
  number    = {4},
  year      = {1998},
  pages     = {363-397}
}

@inproceedings{DBLP:conf/icfp/HageHM07,
  author    = {Jurriaan Hage and
               Stefan Holdermans and
               Arie Middelkoop},
  title     = {{A Generic Usage Analysis with Subeffect Qualifiers}},
  booktitle = {ICFP '07},
  year      = {2007},
  pages     = {235-246}
}

@INPROCEEDINGS{Barendsen93conventionaland,
    author = {Erik Barendsen and Sjaak Smetsers},
    title = {{Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract)}},
    booktitle = {FSTTCS '93},
    year = {1993},
    pages = {41--51}
}

@book{Nielson:1999:PPA:555142,
 author = {Nielson, Flemming and Nielson, Hanne R. and Hankin, Chris},
 title = {{Principles of Program Analysis}},
 year = {1999},
 publisher = {Springer-Verlag}
}

@incollection{Diekert:1997:PCT:267871.267879,
 author = {Diekert, Volker and M\'{e}tivier, Yves},
 title = {{Partial Commutation and Traces}},
 booktitle = {{Handbook of Formal Languages}},
 year = {1997},
 pages = {457--533},
 numpages = {77},
 publisher = {Springer-Verlag}
}

@phdthesis{ heeren05TopQuality,
   author = {Bastiaan J. Heeren},
   school = {{Universiteit Utrecht}},
   title  = {{Top Quality Type Error Messages}},
   year   = {2005}
}

@inproceedings{DBLP:conf/plilp/VogtSK91,
  author    = {Harald Vogt and
               S. Doaitse Swierstra and
               Matthijs F. Kuiper},
  title     = {{Efficient Incremental Evaluation of Higher order Attribute
               Grammars}},
  booktitle = {PLILP},
  year      = {1991},
  pages     = {231-242}
}

@article{DBLP:journals/sigplan/YehK88b,
  author    = {Dashing Yeh and
               Uwe Kastens},
  title     = {{Improvements of an Incremental Evaluation Algorithm for
               Ordered Attribute Grammars}},
  journal   = {SIGPLAN Notices},
  volume    = {23},
  number    = {12},
  year      = {1988},
  pages     = {45-50}
}

@book{Okasaki:1998:PFD:280586,
 author = {Okasaki, Chris},
 title = {{Purely Functional Data Structures}},
 year = {1998},
 publisher = {Cambridge University Press}
}

@book{DBLP:books/aw/Knuth86,
  author    = {Donald E. Knuth},
  title     = {{The TeXbook}},
  publisher = {Addison-Wesley},
  year      = {1986}
}

@article {springerlink:10.1007/BF00264249,
   author = {Bird, R. S.},
   title = {{Using Circular Programs to Eliminate Multiple Traversals of Data}},
   journal = {Acta Informatica},
   pages = {239-250},
   volume = {21},
   issue = {3},
   year = {1984}
}

@phdthesis{Warren76,
  address = {Houston, TX},
  author = {S. K. Warren},
  school = {Rice University},
  title = {The Coroutine Model of Attribute Grammar Evaluation},
  year = 1976
}

@inproceedings{Jim:1996:PTT:237721.237728,
 author = {Jim, Trevor},
 title = {{What Are Principal Typings and What Are They Good For?}},
 booktitle = {POPL '96},
 year = {1996},
 pages = {42--53},
 numpages = {12}
}

@book{Russell:1996:AIM:231005,
 author = {Russell, Stuart J. and Norvig, Peter and Candy, John F. and Malik, Jitendra M. and Edwards, Douglas D.},
 title = {{Artificial Intelligence: a Modern Approach}},
 year = {1996},
 publisher = {Prentice-Hall, Inc.},
 address = {Upper Saddle River, NJ, USA},
}

@inproceedings{Jones:1995:FPO:647698.734150,
 author = {Jones, Mark P.},
 title = {{Functional Programming with Overloading and Higher-Order Polymorphism}},
 booktitle = {AFP '95},
 year = {1995},
 pages = {97--136},
 numpages = {40}
}

@article{Huet:1997:ZIP:969867.969872,
 author = {Huet, G\'{e}rard},
 title = {{The Zipper}},
 journal = {JFP},
 volume = {7},
 issue = {5},
 year = {1997},
 pages = {549--554},
 numpages = {6}
}

@article{Aho1971439,
title = {{Translations on a Context Free Grammar}},
journal = {Information and Control},
volume = "19",
number = "5",
pages = "439 - 475",
year = "1971",
author = "A.V. Aho and J.D. Ullman"
}

@inproceedings{DBLP:conf/lata/Bojanczyk08,
  author    = {Mikolaj Bojanczyk},
  title     = {{Tree-Walking Automata}},
  booktitle = {LATA},
  year      = {2008},
  pages     = {1-2},
  ee        = {http://dx.doi.org/10.1007/978-3-540-88282-4_1},
  crossref  = {DBLP:conf/lata/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{Engelfriet99tree-walkingpebble,
    author = {Joost Engelfriet and Hendrik Jan Hoogeboom},
    title = {{Tree-Walking Pebble Automata}},
    booktitle = {{Jewels are Forever}},
    year = {1999},
    pages = {72--83}
}

@inproceedings{Aho:1969:TCF:800169.805425,
 author = {Aho, A. V. and Ullman, J. D.},
 title = {{Translations on a Context Free Grammar}},
 booktitle = {STOC '69},
 year = {1969},
 pages = {93--112},
 numpages = {20}
}

@inproceedings{springerlink:10.1007/BFb0026440,
 author = {Kuiper, Matthijs F. and Saraiva, {Jo\~{a}o}},
 title = {{Lrc - A Generator for Incremental Language-Oriented Tools}},
 booktitle = {CC '98},
 year = {1998},
 pages = {298--301},
 numpages = {4}
}

@article{VanWyk:2007:UVD:1279007.1279138,
 author = {Van Wyk, Eric and Krishnan, Lijesh},
 title = {{Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars}},
 journal = {ENTCS},
 volume = {176},
 issue = {3},
 year = {2007},
 pages = {109--122},
 numpages = {14}
}

@inproceedings{Farrow:1986:AGF:12276.13320,
 author = {Farrow, Rodney},
 title = {{Automatic Generation of Fixed-Point-Finding Evaluators for Circular, but Well-Defined, Attribute Grammars}},
 booktitle = {CC '86},
 year = {1986},
 pages = {85--98},
 numpages = {14}
}

@inproceedings{forwarding,
  author = {Van Wyk, Eric and Oege De Moor and Kevin Backhouse and Paul Kwiatkowski},
  title = {{Forwarding in Attribute Grammars for Modular Language Design}},
  booktitle = {CC '02},
  year = {2002},
  pages = {128--142}
}

@inproceedings{Mol:2001:TPF:647980.743393,
 author = {Mol, Maarten de and Eekelen, Marko C. J. D. van and Plasmeijer, Marinus J.},
 title = {Theorem Proving for Functional Programmers},
 booktitle = {IFL '02},
 year = {2002},
 pages = {55--71},
 numpages = {17}
}

@inproceedings{DBLP:conf/ifl/VriesPA07,
  author    = {Edsko de Vries and
               Rinus Plasmeijer and
               David M. Abrahamson},
  title     = {{Uniqueness Typing Simplified}},
  booktitle = {IFL '07},
  year      = {2007},
  pages     = {201-218}
}

@inproceedings{DBLP:conf/csl/EekelenSP96,
  author    = {Marko C. J. D. van Eekelen and
               Sjaak Smetsers and
               Marinus J. Plasmeijer},
  title     = {{Graph Rewriting Semantics for Functional Programming Languages}},
  booktitle = {CSL '96},
  year      = {1996},
  pages     = {106-128}
}

@incollection{ariem-ext-gadt,
  author = {Arie Middelkoop},
  title = {{Case Study with GADTs}},
  booktitle = {{Inference of Program Properties with Attribute Grammars, Revisited (extended edition)}},
  year = {2011},
  publisher = {Universiteit Utrecht}
}

@incollection{ariem-ext-graph,
  author = {Arie Middelkoop},
  title = {{AGs on Graphs}},
  booktitle = {{Inference of Program Properties with Attribute Grammars, Revisited (extended edition)}},
  year = {2011},
  publisher = {Universiteit Utrecht}
}

@incollection{ariem-ext-stepwise,
  author = {Arie Middelkoop},
  title = {{Stepwise Evaluation of AGs (Appendices)}},
  booktitle = {{Inference of Program Properties with Attribute Grammars, Revisited (extended edition)}},
  year = {2011},
  publisher = {Universiteit Utrecht}
}

@incollection{ariem-ext-ordered,
  author = {Arie Middelkoop},
  title = {{AGs with Side Effects (Appendices)}},
  booktitle = {{Inference of Program Properties with Attribute Grammars, Revisited (extended edition)}},
  year = {2011},
  publisher = {Universiteit Utrecht}
}

@article{Sloane:2010:POE:1860132.1860322,
 author = {Sloane, Anthony M. and Kats, Lennart C. L. and Visser, Eelco},
 title = {{A Pure Object-Oriented Embedding of Attribute Grammars}},
 journal = {ENTCS},
 volume = {253},
 issue = {7},
 year = {2010},
 pages = {205--219},
 numpages = {15}
}

@misc{kaminski11,
  author = {Kaminski, Ted and Van Wijk, Eric},
  title = {{Integrating Attribute Grammar and Functional Programming Language Features (to appear)}},
  booktitle = {SLE '11},
  year = {2011}
}

@MISC{Glesner98usingmany-sorted,
    author = {Sabine Glesner and Wolf Zimmermann},
    title = {{Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis}},
    year = {1998}
}

@phdthesis{Walz:1989:EAG:76225,
 author = {Walz, J. A.},
 title = {{Extending Attribute Grammar and Type Inference Algorithms}},
 year = {1989},
 school = {Cornell University}
}

@techreport{ATTALI:1994:INRIA-00077110:1,
    title = {{Integrating Natural Semantics and Attribute Grammars : the Minotaur System}},
    author = {Attali, Isabelle and Parigot, Didier},
    institution = {INRIA},
    number = {RR-2339},
    year = {1994}
}

@techreport{DESPEYROUX:1988:INRIA-00070072:1,
    title = {{TYPOL : a Formalism to Implement Natural Semantics}},
    author = {Despeyroux, Thierry},
    institution = {INRIA},
    number = {RT-0094},
    year = {1988}
}