@article{DBLP:journals/jfp/Faxen02,
  author    = {Karl-Filip Fax{\'e}n},
  title     = {A static semantics for {Haskell}},
  journal   = {J. Funct. Program.},
  volume    = {12},
  number    = {4{\&}5},
  year      = {2002},
  pages     = {295-357},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/ifl/DijkstraFS07,
  author    = {Atze Dijkstra and
               Jeroen Fokker and
               S. Doaitse Swierstra},
  title     = {The Structure of the {Essential Haskell Compiler}, or Coping
               with Compiler Complexity},
  booktitle = {IFL},
  year      = {2007},
  pages     = {57-74},
  ee        = {http://dx.doi.org/10.1007/978-3-540-85373-2_4},
  crossref  = {DBLP:conf/ifl/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ifl/2007,
  editor    = {Olaf Chitil and
               Zolt{\'a}n Horv{\'a}th and
               Vikt{\'o}ria Zs{\'o}k},
  title     = {Implementation and Application of Functional Languages,
               19th International Workshop, IFL 2007, Freiburg, Germany,
               September 27-29, 2007. Revised Selected Papers},
  booktitle = {IFL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5083},
  year      = {2008},
  isbn      = {978-3-540-85372-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/fp/HallHPJW92,
  author    = {Cordelia V. Hall and
               Kevin Hammond and
               Will Partain and
               Simon L. Peyton Jones and
               Philip Wadler},
  title     = {The {Glasgow Haskell Compiler}: A Retrospective},
  booktitle = {Functional Programming},
  year      = {1992},
  pages     = {62-71},
  crossref  = {DBLP:conf/fp/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fp/1992,
  editor    = {John Launchbury and
               Patrick M. Sansom},
  title     = {Functional Programming, Glasgow 1992, Proceedings of the
               1992 Glasgow Workshop on Functional Programming, Ayr, Scotland,
               6-8 July 1992},
  booktitle = {Functional Programming},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19820-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/corr/abs-0906-4474,
  author    = {Jon Sneyers and
               Peter Van Weert and
               Tom Schrijvers and
               Leslie De Koninck},
  title     = {As time goes by: {Constraint Handling Rules} - A survey of
               {CHR} research from 1998 to 2007},
  journal   = {CoRR},
  volume    = {abs/0906.4474},
  year      = {2009},
  ee        = {http://arxiv.org/abs/0906.4474},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/jfp/LevinP03,
  author    = {Michael Y. Levin and
               Benjamin C. Pierce},
  title     = {{TinkerType}: a language for playing with formal systems},
  journal   = {J. Funct. Program.},
  volume    = {13},
  number    = {2},
  year      = {2003},
  pages     = {295-316},
  ee        = {http://dx.doi.org/10.1017/S0956796802004550},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/flops/DijkstraS06,
  author    = {Atze Dijkstra and
               S. Doaitse Swierstra},
  title     = {{Ruler}: Programming Type Rules},
  booktitle = {FLOPS},
  year      = {2006},
  pages     = {30-46},
  ee        = {http://dx.doi.org/10.1007/11737414_4},
  crossref  = {DBLP:conf/flops/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/flops/2006,
  editor    = {Masami Hagiya and
               Philip Wadler},
  title     = {Functional and Logic Programming, 8th International Symposium,
               FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  booktitle = {FLOPS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3945},
  year      = {2006},
  isbn      = {3-540-33438-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/tphol/Schurmann09,
  author    = {Carsten Sch{\"u}rmann},
  title     = {The {Twelf} Proof Assistant},
  booktitle = {TPHOLs},
  year      = {2009},
  pages     = {79-83},
  ee        = {http://dx.doi.org/10.1007/978-3-642-03359-9_7},
  crossref  = {DBLP:conf/tphol/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tphol/2009,
  editor    = {Stefan Berghofer and
               Tobias Nipkow and
               Christian Urban and
               Makarius Wenzel},
  title     = {Theorem Proving in Higher Order Logics, 22nd International
               Conference, TPHOLs 2009, Munich, Germany, August 17-20,
               2009. Proceedings},
  booktitle = {TPHOLs},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5674},
  year      = {2009},
  isbn      = {978-3-642-03358-2},
  ee        = {http://dx.doi.org/10.1007/978-3-642-03359-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/corr/abs-cs-0603118,
  author    = {Yves Bertot},
  title     = {Coq in a Hurry},
  journal   = {CoRR},
  volume    = {abs/cs/0603118},
  year      = {2006},
  ee        = {http://arxiv.org/abs/cs/0603118},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/tphol/WenzelPN08,
  author    = {Makarius Wenzel and
               Lawrence C. Paulson and
               Tobias Nipkow},
  title     = {The {Isabelle} Framework},
  booktitle = {TPHOLs},
  year      = {2008},
  pages     = {33-38},
  ee        = {http://dx.doi.org/10.1007/978-3-540-71067-7_7},
  crossref  = {DBLP:conf/tphol/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tphol/2008,
  editor    = {Otmane A\"{\i}t Mohamed and
               C{\'e}sar Mu{\~n}oz and
               Sofi{\`e}ne Tahar},
  title     = {Theorem Proving in Higher Order Logics, 21st International
               Conference, TPHOLs 2008, Montreal, Canada, August 18-21,
               2008. Proceedings},
  booktitle = {TPHOLs},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5170},
  year      = {2008},
  isbn      = {978-3-540-71065-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@techreport{859871,
 author = {Wells, J. B.},
 title = {Typability and Type Checking in the Second-Order Lambda-Calculus Are Equivalent and Undecidable},
 year = {1993},
 source = {View on NCSTRL},
 publisher = {Boston University},
 address = {Boston, MA, USA},
 }
 
@MISC{Sulzmann00ageneral,
    author = {Martin Sulzmann},
    title = {A General Framework for {Hindley/Milner} Type Systems with Constraints},
    year = {2000}
}

@ARTICLE{Milner78atheory,
    author = {Robin Milner},
    title = {A theory of type polymorphism in programming},
    journal = {Journal of Computer and System Sciences},
    year = {1978},
    volume = {17},
    pages = {348--375}
}

@article{DBLP:journals/jfp/SulzmannS08,
  author    = {Martin Sulzmann and
               Peter J. Stuckey},
  title     = {{HM(X)} type inference is {CLP(X)} solving},
  journal   = {J. Funct. Program.},
  volume    = {18},
  number    = {2},
  year      = {2008},
  pages     = {251-283},
  ee        = {http://dx.doi.org/10.1017/S0956796807006569},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/iclp/Schrijvers08,
  author    = {Tom Schrijvers},
  title     = {{Constraint Handling Rules}},
  booktitle = {ICLP},
  year      = {2008},
  pages     = {9-10},
  ee        = {http://dx.doi.org/10.1007/978-3-540-89982-2_3},
  crossref  = {DBLP:conf/iclp/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/iclp/2008,
  editor    = {Maria Garcia de la Banda and
               Enrico Pontelli},
  title     = {Logic Programming, 24th International Conference, ICLP 2008,
               Udine, Italy, December 9-13 2008, Proceedings},
  booktitle = {ICLP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5366},
  year      = {2008},
  isbn      = {978-3-540-89981-5},
  ee        = {http://dx.doi.org/10.1007/978-3-540-89982-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/jlp/Hanus94,
  author    = {Michael Hanus},
  title     = {The Integration of Functions into Logic Programming: From
               Theory to Practice},
  journal   = {J. Log. Program.},
  volume    = {19/20},
  year      = {1994},
  pages     = {583-628},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

@techreport{arie09,
  author        = {Middelkoop, Arie},
  title         = "The {Ruler} Tutorial",
  institution   = "Universiteit Utrecht",
  year          = "2009",
  type          = "",
  number        = "",
  address       = "",
  month         = "",
  note          = "{\url{http://www.cs.uu.nl/\~{}ariem/ruler-tutorial.pdf}}"  }

@misc{arie092,
  author        = {Middelkoop, Arie},
  title         = "The {Ruler} Interpreter",
  institution   = "Universiteit Utrecht",
  year          = "2009",
  note          = "{\url{http://www.cs.uu.nl/\~{}ariem/ruler-interpreter.zip}}"  }

@misc{ruler,
  author        = {Middelkoop, Arie},
  title         = "{\url{http://www.cs.uu.nl/\~{}ariem/ruler.tar.gz}}",
  howpublished  = "",
  month         = "09",
  year          = "2009",
  note          = ""  }

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

@InProceedings{DBLP:conf/icfp/SewellNOPRSS07,
  title =	"Ott: effective tool support for the working
		 semanticist",
  author =	"Peter Sewell and Francesco Zappa Nardelli and Scott
		 Owens and Gilles Peskine and Tom Ridge and Susmit
		 Sarkar and Rok Strnisa",
  bibdate =	"2007-11-06",
  bibsource =	"DBLP,
		 http://dblp.uni-trier.de/db/conf/icfp/icfp2007.html#SewellNOPRSS07",
  booktitle =	"Proceedings of the 12th {ACM} {SIGPLAN} International
		 Conference on Functional Programming, {ICFP} 2007,
		 Freiburg, Germany, October 1-3, 2007",
  publisher =	"ACM",
  year = 	"2007",
  editor =	"Ralf Hinze and Norman Ramsey",
  ISBN = 	"978-1-59593-815-2",
  pages =	"1--12",
  noTeXtra = {<a href="doc/ott.pdf">ott.pdf</a>}
}

@inproceedings{1411266,
 author = {Aldrich,, Jonathan and Simmons,, Robert J. and Shin,, Key},
 title = {{SASyLF}: an educational proof assistant for language theory},
 booktitle = {FDPE '08: Proceedings of the 2008 international workshop on Functional and declarative programming in education},
 year = {2008},
 isbn = {978-1-60558-068-5},
 pages = {31--40},
 location = {Victoria, BC, Canada},
 doi = {http://doi.acm.org/10.1145/1411260.1411266},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@INPROCEEDINGS{Jones99typinghaskell,
    author = {Mark P. Jones},
    title = {Typing {Haskell} in {Haskell}},
    booktitle = {Haskell Workshop},
    year = {1999},
    publisher = {}
}

@inproceedings{DBLP:conf/popl/XuJC09,
  author    = {Dana N. Xu and
               Simon L. Peyton Jones and
               Koen Claessen},
  title     = {Static contract checking for {Haskell}},
  booktitle = {POPL},
  year      = {2009},
  pages     = {41-52},
  ee        = {http://doi.acm.org/10.1145/1480881.1480889},
  crossref  = {DBLP:conf/popl/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/popl/2009,
  editor    = {Zhong Shao and
               Benjamin C. Pierce},
  title     = {Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on
               Principles of Programming Languages, POPL 2009, Savannah,
               GA, USA, January 21-23, 2009},
  booktitle = {POPL},
  publisher = {ACM},
  year      = {2009},
  isbn      = {978-1-60558-379-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@PHDTHESIS{atze:phd,
  author = {Dijkstra, Atze},
  title = {Stepping Through {Haskell}},
  school = {Universiteit Utrecht},
  year = {2005},
  address = {Utrecht, The Netherlands},
  month = {November},
}

@inproceedings{meijerjeuring95,
AUTHOR = "Meijer, E. and Jeuring, J.",
TITLE = "Merging monads and folds for functional programming",
BOOKTITLE = "Advanced Functional Programming",
EDITOR = "J. Jeuring and E. Meijer",
SERIES = {Lecture {N}otes in {C}omputer {S}cience 925},
PAGES = "228--266",
PUBLISHER = "Springer-Verlag",
YEAR = "1995"
}

@inproceedings{1596650,
 author = {Dijkstra, Atze and Fokker, Jeroen and Swierstra, S. Doaitse},
 title = {The architecture of the Utrecht Haskell compiler},
 booktitle = {Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell},
 year = {2009},
 isbn = {978-1-60558-508-6},
 pages = {93--104},
 location = {Edinburgh, Scotland},
 doi = {http://doi.acm.org/10.1145/1596638.1596650},
 publisher = {ACM},
 address = {New York, NY, USA},
 }
 
 @inproceedings{1596586,
 author = {Viera, Marcos and Swierstra, S. Doaitse and Swierstra, Wouter},
 title = {Attribute grammars fly first-class: how to do aspect oriented programming in {Haskell}},
 booktitle = {ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming},
 year = {2009},
 isbn = {978-1-60558-332-7},
 pages = {245--256},
 location = {Edinburgh, Scotland},
 doi = {http://doi.acm.org/10.1145/1596550.1596586},
 publisher = {ACM},
 address = {New York, NY, USA},
 }
 
 @inproceedings{DBLP:conf/icfp/VytiniotisWJ08,
  author    = {Dimitrios Vytiniotis and
               Stephanie Weirich and
               Simon L. {Peyton Jones}},
  title     = {{FPH:} first-class polymorphism for Haskell},
  booktitle = {ICFP},
  year      = {2008},
  pages     = {295-306},
  ee        = {http://doi.acm.org/10.1145/1411204.1411246},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/popl/Leijen09,
  author    = {Daan Leijen},
  title     = {Flexible types: robust type inference for first-class polymorphism},
  booktitle = {POPL},
  year      = {2009},
  pages     = {66-77},
  ee        = {http://doi.acm.org/10.1145/1480881.1480891},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/cc/Hedin94,
  author    = {G{\"o}rel Hedin},
  title     = {An Overview of Door Attribute Grammars},
  booktitle = {CC},
  year      = {1994},
  pages     = {31-51},
  ee        = {http://dx.doi.org/10.1007/3-540-57877-3_3},
  crossref  = {DBLP:conf/cc/1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cc/1994,
  editor    = {Peter Fritzson},
  title     = {Compiler Construction, 5th International Conference, CC'94,
               Edinburgh, U.K., April 7-9, 1994, Proceedings},
  booktitle = {CC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {786},
  year      = {1994},
  isbn      = {3-540-57877-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}