@inproceedings(chen-erwig-14,
 author       = {Sheng Chen 0008 and Martin Erwig},
 year         = {2014},
 title        = {Counter-factual typing for debugging type errors},
 editor       = {Suresh Jagannathan and Peter Sewell},
 booktitle    = {The 41st Annual {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, {CA}, {USA}, January 20-21, 2014},
 publisher    = {ACM},
 pages        = {583--594},
 doi          = {10.1145/2535838.2535863},
)
@misc(becker-09,
 author       = {Benus Becker},
 year         = {2008},
 title        = {Easy{OC}aml: Making OCaml More Pleasant.},
)
@techreport(bernstein-stark-95,
 author       = {Karen L. Bernstein and Eugene W. Stark},
 year         = {1995},
 title        = {Debugging Type Errors},
 type         = {Technical Report},
 institution  = {State University of New York at Stony Brook},
 url          = {http://citeseer.ist.psu.edu/125636.html},
)
@misc(brassel-04,
 author       = {Bra{\ss}el, Bernd},
 year         = {2004},
 title        = {Type{H}ope: There is hope for your type errors},
)
@inproceedings(chitil-01,
 author       = {Olaf Chitil},
 year         = {2001},
 title        = {Compositional Explanation of Types and Algorithmic Debugging of Type Errors},
 editor       = {Benjamin C. Pierce},
 booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference on Functional Programming ({ICFP} '01), Firenze (Florence), Italy, September 3-5, 2001},
 publisher    = {ACM},
 pages        = {193--204},
 doi          = {10.1145/507669.507659},
 note         = {SIGPLAN Notices 36(10), October 2001},
)
@incollection(haack-wells-03,
 author       = {Christian Haack and J. B. Wells},
 year         = {2003},
 title        = {Type Error Slicing in Implicitly Typed Higher-Order Languages},
 booktitle    = {Programming Languages and Systems},
 publisher    = {Springer Science + Business Media},
 pages        = {284--301},
 doi          = {10.1007/3-540-36575-3\_20},
)
@article(haack-wells-04,
 author       = {Christian Haack and Joe B. Wells},
 year         = {2004},
 title        = {Type error slicing in implicitly typed higher-order languages},
 journal      = {Science of Computer Programming},
 volume       = {50},
 number       = {1-3},
 pages        = {189--224},
 doi          = {10.1016/j.scico.2004.01.004},
)
@techreport(hage-heeren-05,
 author       = {Jurriaan Hage and Bastiaan Heeren},
 year         = {2005},
 title        = {Heuristics for type error discovery and recovery},
 type         = {Technical Report},
 number       = {UU-CS-2005-029},
 institution  = {{U}trecht {U}niversity},
 url          = {http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-029.pdf},
)
@incollection(hage-heeren-07,
 author       = {Jurriaan Hage and Bastiaan Heeren},
 year         = {2007},
 title        = {Heuristics for Type Error Discovery and Recovery},
 booktitle    = {Implementation and Application of Functional Languages},
 publisher    = {Springer Science + Business Media},
 pages        = {199--216},
 doi          = {10.1007/978-3-540-74130-5\_12},
)
@inproceedings(heeren-al-03,
 author       = {Bastiaan Heeren and Daan Leijen and Arjan van IJzendoorn},
 year         = {2003},
 title        = {Helium, for learning Haskell},
 booktitle    = {Proceedings of the {ACM} {SIGPLAN} workshop on Haskell ({HASKELL}-03)},
 publisher    = {ACM},
 pages        = {62--71},
 doi          = {10.1145/871895.871902},
)
@phdthesis(heeren-05,
 author       = {Bastiaan J. Heeren},
 year         = {2005},
 title        = {Top Quality Type Error Messages},
 school       = {Universiteit Utrecht, The Netherlands},
 url          = {http://www.cs.uu.nl/people/bastiaan/phdthesis},
)
@inproceedings(ishii-asai-14,
 author       = {Yuki Ishii and Kenichi Asai},
 year         = {2014},
 title        = {Report on a User Test and Extension of a Type Debugger for Novice Programmers},
 editor       = {James Caldwell and Philip K. F. H{\"{o}}lzenspies and Peter Achten},
 booktitle    = {Proceedings 3rd International Workshop on Trends in Functional Programming in Education, {TFPIE} 2014, Soesterberg, The Netherlands, 25th May 2014.},
 series       = {{EPTCS}},
 volume       = {170},
 pages        = {1--18},
 doi          = {10.4204/eptcs.170.1},
)
@article(kustanto-kameyama-10,
 author       = {Cynthia Kustanto and Yukiyoshi Kameyama},
 year         = {2010},
 title        = {Improving Error Messages in Type System},
 journal      = {{IPSJ} Online Transactions},
 volume       = {3},
 pages        = {125--138},
 doi          = {10.2197/ipsjtrans.3.125},
)
@techreport(lee-yi-00,
 author       = {Oukseh Lee and Kwangkeun Yi},
 year         = {2000},
 title        = {A Generalized Let-Polymorphic Type Inference Algorithm},
 type         = {Technical Report},
 institution  = {Technical Memorandum ROPAS-2000-5, Research on Program Analysis System, Korea Advanced Institute of Science and Technology},
)
@inproceedings(lerner-al-07,
 author       = {Benjamin S. Lerner and Matthew Flower and Dan Grossman and Craig Chambers},
 year         = {2007},
 title        = {Searching for Type-error Messages},
 booktitle    = {Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series       = {PLDI '07},
 publisher    = {ACM},
 pages        = {425--434},
 doi          = {10.1145/1273442.1250783},
)
@inproceedings(lerner-al-06,
 author       = {Benjamin S. Lerner and Dan Grossman and Craig Chambers},
 year         = {2006},
 title        = {Seminal: searching for {ML} type-error messages},
 editor       = {Andrew Kennedy and Fran{\c c}ois Pottier},
 booktitle    = {Proceedings of the {ACM} Workshop on {ML}, 2006, Portland, Oregon, {USA}, September 16, 2006},
 publisher    = {ACM},
 pages        = {63--73},
 doi          = {10.1145/1159876.1159887},
)
@inproceedings(mcadam-98,
 author       = {Bruce J. McAdam},
 year         = {1998},
 title        = {On the Unification of Substitutions in Type Inference},
 editor       = {Kevin Hammond and Anthony J. T. Davie and Chris Clack},
 booktitle    = {Implementation of Functional Languages (IFL'98)},
 series       = {Lecture Notes in Computer Science},
 volume       = {1595},
 publisher    = {Springer-Verlag},
 pages        = {139--154},
 doi          = {10.1007/3-540-48515-5\_9},
)
@article(rahli-al-15,
 author       = {Vincent Rahli and Joe B. Wells and John Pirie and Fairouz Kamareddine},
 year         = {2015},
 title        = {Skalpel: {A} Type Error Slicer for Standard {ML}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {312},
 pages        = {197--213},
 doi          = {10.1016/j.entcs.2015.04.012},
)
@article(tip-dinesh-01,
 author       = {Frank Tip and T. B. Dinesh},
 year         = {2001},
 title        = {A slicing-based approach for locating type errors},
 journal      = {ACM Trans. Softw. Eng. Methodol},
 volume       = {10},
 number       = {1},
 pages        = {5--55},
 doi          = {10.1145/366378.366379},
)
@phdthesis(wazny-06,
 author       = {Jeremy Wazny},
 year         = {2006},
 title        = {Type inference and type error diagnosis for {H}indley/{M}ilner with extensions},
 school       = {University of Melbourne},
 address      = {Australia},
)
@inproceedings(yang-99,
 author       = {Jun Yang},
 year         = {1999},
 title        = {Explaining Type Errors by Finding the Source of a Type Conflict},
 editor       = {Philip W. Trinder and Greg Michaelson and Hans{-}Wolfgang Loidl},
 booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999},
 series       = {Trends in Functional Programming},
 volume       = {1},
 publisher    = {Intellect},
 pages        = {59--67},
)
@inproceedings(zhang-myers-14,
 author       = {Danfeng Zhang and Andrew C. Myers},
 year         = {2014},
 title        = {Toward general diagnosis of static errors},
 editor       = {Suresh Jagannathan and Peter Sewell},
 booktitle    = {The 41st Annual {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, {CA}, {USA}, January 20-21, 2014},
 publisher    = {ACM},
 pages        = {569--582},
 doi          = {10.1145/2535838.2535870},
)