@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 = {Journal of Logic Programming},
	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 = {Journal of Functional Programming},
	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 = {Department of Information and Computing Sciences, Utrecht University},
	Number = {UU-CS-2006-051},
	Pubcat = {techreport},
	Title = {Exploiting Type Annotations},
	Urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-051.pdf}},
	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 = {Journal of Functional Programming},
	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.},
	Isbn = {0-262-16209-1},
	Publisher = {MIT Press},
	Title = {{Types and Programming Languages}},
	Year = {2002}}

@unpublished{harper,
  Author = {Robert Harper},
  Institution = {Carnegie Mellon University},
  Title = {{Practical Foundations for Programming Languages}},
  Year = {2010},
  Note = {\url{http://www.cs.cmu.edu/\~{}rwh/plbook/book.pdf}}
}

@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 = {Journal of Functional Programming},
	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 = {Journal of Functional Programming},
	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 = {Journal of Functional Programming},
	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{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}},
	Volume = {abs/cs/0603118},
	Year = {2006}}

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

@inproceedings{859871,
	Author = {J. B. Wells},
	Booktitle = {LICS '96},
	Pages = {176--185},
	Title = {{Typability and Type Checking in the Second-Order lambda-Calculus Are Equivalent and Undecidable}},
	Year = {1996}}

@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},
	Month = {09},
	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},
	Editor = {J. Jeuring and E. Meijer},
	Pages = {228--266},
	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},
	Month = jul,
	Number = {MS-CIS-05-26},
	Pdf = {http://www.cis.upenn.edu/~geoffw/research/papers/MS-CIS-05-26.pdf},
	Plclub = {yes},
	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},
	Month = {January},
	School = {The 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},
	Eprint = {papers/dijkstra05phd.pdf},
	Howpublished = {\verb|http://www.cs.uu.nl/wiki/Ehc/WebHome|},
	School = {Utrecht University, Department of Information and Computing Sciences},
	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 = {Journal of Logic Programming},
	Month = {October},
	Number = {1-3},
	Pages = {95-138},
	Title = {{Theory and Practice of Constraint Handling Rules}},
	Volume = {37},
	Year = {1998},
	Bdsk-Url-1 = {http://www.informatik.uni-muenchen.de/~fruehwir/drafts/jlp-chr1.ps.Z}}

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

@unpublished{gadt-short,
	Author = {M. Sulzmann and T. Schrijvers and P. J. Stuckey},
	Month = {July},
	Ps = {http://www.cs.mu.oz.au/~sulzmann/manuscript/gadt-short.ps},
	Title = {{Type Inference for GADTs via Herbrand Constraint Abduction}},
	Note = {\url{http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW507.abs.html}},
	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},
	Month = {December},
	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 = {Journal of Functional Programming},
	Number = {3},
	Pages = {345-363},
	Title = {{Efficient Self-Interpretations in lambda Calculus}},
	Volume = {2},
	Year = {1992}}

@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},
	Note = {\url{http://people.cs.uu.nl/ariem/wgt10-visit.pdf}},
	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-},
	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},
	Ee = {http://link.springer.de/link/service/series/0558/bibs/2487/24870268.htm},
	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 = {Wyk, Erik v. 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 = {{Universiteit Utrecht}},
	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},
	Howpublished = {\url{http://people.cs.uu.nl/ariem/ifl10-depend.pdf}},
	Institution = {Universiteit Utrecht},
	Title = {{Towards Dependently Typed Attribute Grammars}},
	Year = {2010}}

@inproceedings{Middelkoop10wgt,
	Author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
  Booktitle = {HOSC},
	Note = {\url{http://people.cs.uu.nl/ariem/wgt10-journal.pdf}},
	Institution = {Universiteit Utrecht},
	Title = {{Attribute Grammars with Side Effect}},
	Year = {2010}}

@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{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},
	Bdsk-Url-1 = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2007.13}}

@inproceedings{512989,
	Author = {Jazayeri, M. and Ogden, W. F. and Rounds, W. C.},
	Booktitle = {POPL '75},
	Pages = {119--129},
	Publisher = {ACM},
	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},
    isbn      = {0-521-82060-X},
    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},
    isbn      = {0-521-58274-1},
    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},
  }

@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},
	Howpublished = {\url{http://people.cs.uu.nl/ariem/wgt10-visit.pdf}},
	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},
	Ee = {http://link.springer.de/link/service/series/0558/bibs/0707/07070406.htm},
	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{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},
	Howpublished = {\url{http://people.cs.uu.nl/ariem/ifl10-ex.pdf}},
	Institution = {Universiteit Utrecht},
	Title = {{Dependently-typed Attribute Grammars (extended version)}},
	Year = {2010}}

@misc{Middelkoop10stepwise,
	Author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
	Howpublished = {\url{http://people.cs.uu.nl/ariem/stepwise.pdf}},
	Institution = {Universiteit Utrecht},
	Title = {{Stepwise Evaluation of Attribute Grammars (extended version)}},
	Year = {2010}}

@misc{Walsteijn86,
	Author = {M. J. Walsteijn and M. F. Kuiper},
	Howpublished = {\url{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-14.pdf}},
	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},
	Month = {May},
	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{Hinze:2000:DBM:351240.351258,
	Author = {Hinze, Ralf},
	Booktitle = {ICFP '00},
	Numpages = {12},
	Pages = {186--197},
	Series = {ICFP '00},
	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},
	Howpublished = {\url{http://okmij.org/ftp/Streams.html}},
	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},
	Howpublished = {\url{https://subversion.cs.uu.nl/repos/project.UHC.pub/trunk/pdf/20070406-2213-icfp07-chr-locinst.pdf}},
	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},
	Ee = {http://link.springer.de/link/service/series/0558/bibs/2304/23040143.htm},
	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}},
  series    = {LNCS},
  volume    = {95},
  publisher = {Springer},
  year      = {1980}
}