@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},
  crossref  = {DBLP:conf/icfp/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icfp/2008,
  editor    = {James Hook and
               Peter Thiemann},
  title     = {Proceeding of the 13th ACM SIGPLAN international conference
               on Functional programming, ICFP 2008, Victoria, BC, Canada,
               September 20-28, 2008},
  booktitle = {ICFP},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-59593-919-7},
  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},
  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}
}

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

@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/alp/Antoy97,
  author    = {Sergio Antoy},
  title     = {Optimal Non-deterministic Functional Logic Computations},
  booktitle = {ALP/HOA},
  year      = {1997},
  pages     = {16-30},
  crossref  = {DBLP:conf/alp/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/alp/1997,
  editor    = {Michael Hanus and
               Jan Heering and
               Karl Meinke},
  title     = {Algebraic and Logic Programming, 6th International Joint
               Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember
               3-5, 1997, Proceedings},
  booktitle = {ALP/HOA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1298},
  year      = {1997},
  isbn      = {3-540-63459-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/jcss/Milner78,
  author    = {Robin Milner},
  title     = {A Theory of Type Polymorphism in Programming},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {17},
  number    = {3},
  year      = {1978},
  pages     = {348-375},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

@TECHREPORT{UUCS2006051,
author = {Dijkstra, Atze and Swierstra, Doaitse~S.},
year = 2006,
title = {Exploiting Type Annotations},
number = {UU-CS-2006-051},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-051.pdf}},
pubcat = {techreport}
}

@article{DBLP:journals/jfp/JonesVWS07,
  author    = {Simon L. {Peyton Jones} and
               Dimitrios Vytiniotis and
               Stephanie Weirich and
               Mark Shields},
  title     = {Practical type inference for arbitrary-rank types},
  journal   = {J. Funct. Program.},
  volume    = {17},
  number    = {1},
  year      = {2007},
  pages     = {1-82},
  ee        = {http://dx.doi.org/10.1017/S0956796806006034},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@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,
  author    = {Peter Sewell and
               Francesco Zappa Nardelli and
               Scott Owens and
               Gilles Peskine and
               Tom Ridge and
               Susmit Sarkar and
               Rok Strnisa},
  title     = {Ott: effective tool support for the working semanticist},
  booktitle = {ICFP},
  year      = {2007},
  pages     = {1-12},
  ee        = {http://doi.acm.org/10.1145/1291151.1291155},
  crossref  = {DBLP:conf/icfp/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icfp/2007,
  editor    = {Ralf Hinze and
               Norman Ramsey},
  title     = {Proceedings of the 12th ACM SIGPLAN International Conference
               on Functional Programming, ICFP 2007, Freiburg, Germany,
               October 1-3, 2007},
  booktitle = {ICFP},
  publisher = {ACM},
  year      = {2007},
  isbn      = {978-1-59593-815-2},
  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{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},
 }
 
 @article{DBLP:journals/jfp/HarperL07,
  author    = {Robert Harper and
               Daniel R. Licata},
  title     = {Mechanizing metatheory in a logical framework},
  journal   = {J. Funct. Program.},
  volume    = {17},
  number    = {4-5},
  year      = {2007},
  pages     = {613-673},
  ee        = {http://dx.doi.org/10.1017/S0956796807006430},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/jsyml/Church40,
  author    = {Alonzo Church},
  title     = {A Formulation of the Simple Theory of Types},
  journal   = {J. Symb. Log.},
  volume    = {5},
  number    = {2},
  year      = {1940},
  pages     = {56-68},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{721503,
 author = {Reynolds,, John C.},
 title = {Towards a theory of type structure},
 booktitle = {Programming Symposium, Proceedings Colloque sur la Programmation},
 year = {1974},
 isbn = {3-540-06859-7},
 pages = {408--423},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }
 
@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/icfp/HeerenHS03,
  author    = {Bastiaan Heeren and
               Jurriaan Hage and
               S. Doaitse Swierstra},
  title     = {Scripting the type inference process},
  booktitle = {ICFP},
  year      = {2003},
  pages     = {3-13},
  ee        = {http://doi.acm.org/10.1145/944705.944707},
  crossref  = {DBLP:conf/icfp/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icfp/2003,
  editor    = {Colin Runciman and
               Olin Shivers},
  title     = {Proceedings of the Eighth ACM SIGPLAN International Conference
               on Functional Programming, ICFP 2003, Uppsala, Sweden, August
               25-29, 2003},
  booktitle = {ICFP},
  publisher = {ACM},
  year      = {2003},
  isbn      = {1-58113-756-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/ifl/HageH06,
  author    = {Jurriaan Hage and
               Bastiaan Heeren},
  title     = {Heuristics for Type Error Discovery and Recovery},
  booktitle = {IFL},
  year      = {2006},
  pages     = {199-216},
  ee        = {http://dx.doi.org/10.1007/978-3-540-74130-5_12},
  crossref  = {DBLP:conf/ifl/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifl/2006,
  editor    = {Zolt{\'a}n Horv{\'a}th and
               Vikt{\'o}ria Zs{\'o}k and
               Andrew Butterfield},
  title     = {Implementation and Application of Functional Languages,
               18th International Symp osium, IFL 2006, Budapest, Hungary,
               September 4-6, 2006, Revised Selected Papers},
  booktitle = {IFL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4449},
  year      = {2007},
  isbn      = {978-3-540-74129-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{143210,
 author = {Farrow, R. and Marlowe, T. J. and Yellin, D. M.},
 title = {Composable attribute grammars: support for modularity in translator design and implementation},
 booktitle = {POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1992},
 isbn = {0-89791-453-8},
 pages = {223--234},
 location = {Albuquerque, New Mexico, United States},
 doi = {http://doi.acm.org/10.1145/143165.143210},
 publisher = {ACM},
 address = {New York, NY, USA},
 }