Sheng Chen 0008 & Martin Erwig (2014):
Counter-factual typing for debugging type errors.
In: Suresh Jagannathan & Peter Sewell: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014.
ACM,
pp. 583–594,
doi:10.1145/2535838.2535863.
Benus Becker (2008):
EasyOCaml: Making OCaml More Pleasant..
Karen L. Bernstein & Eugene W. Stark (1995):
Debugging Type Errors.
Technical Report.
State University of New York at Stony Brook.
Available at http://citeseer.ist.psu.edu/125636.html.
Bernd Braßel (2004):
TypeHope: There is hope for your type errors.
Olaf Chitil (2001):
Compositional Explanation of Types and Algorithmic Debugging of Type Errors.
In: Benjamin C. Pierce: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001.
ACM,
pp. 193–204,
doi:10.1145/507669.507659.
SIGPLAN Notices 36(10), October 2001.
Christian Haack & J. B. Wells (2003):
Type Error Slicing in Implicitly Typed Higher-Order Languages.
In: Programming Languages and Systems.
Springer Science + Business Media,
pp. 284–301,
doi:10.1007/3-540-36575-3_20.
Christian Haack & Joe B. Wells (2004):
Type error slicing in implicitly typed higher-order languages.
Science of Computer Programming 50(1-3),
pp. 189–224,
doi:10.1016/j.scico.2004.01.004.
Jurriaan Hage & Bastiaan Heeren (2007):
Heuristics for Type Error Discovery and Recovery.
In: Implementation and Application of Functional Languages.
Springer Science + Business Media,
pp. 199–216,
doi:10.1007/978-3-540-74130-5_12.
Bastiaan Heeren, Daan Leijen & Arjan van IJzendoorn (2003):
Helium, for learning Haskell.
In: Proceedings of the ACM SIGPLAN workshop on Haskell (HASKELL-03).
ACM,
pp. 62–71,
doi:10.1145/871895.871902.
Yuki Ishii & Kenichi Asai (2014):
Report on a User Test and Extension of a Type Debugger for Novice Programmers.
In: James Caldwell, Philip K. F. Hölzenspies & Peter Achten: Proceedings 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, Soesterberg, The Netherlands, 25th May 2014.,
EPTCS 170,
pp. 1–18,
doi:10.4204/eptcs.170.1.
Cynthia Kustanto & Yukiyoshi Kameyama (2010):
Improving Error Messages in Type System.
IPSJ Online Transactions 3,
pp. 125–138,
doi:10.2197/ipsjtrans.3.125.
Oukseh Lee & Kwangkeun Yi (2000):
A Generalized Let-Polymorphic Type Inference Algorithm.
Technical Report.
Technical Memorandum ROPAS-2000-5, Research on Program Analysis System, Korea Advanced Institute of Science and Technology.
Benjamin S. Lerner, Matthew Flower, Dan Grossman & Craig Chambers (2007):
Searching for Type-error Messages.
In: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation,
PLDI '07.
ACM,
pp. 425–434,
doi:10.1145/1273442.1250783.
Benjamin S. Lerner, Dan Grossman & Craig Chambers (2006):
Seminal: searching for ML type-error messages.
In: Andrew Kennedy & François Pottier: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006.
ACM,
pp. 63–73,
doi:10.1145/1159876.1159887.
Bruce J. McAdam (1998):
On the Unification of Substitutions in Type Inference.
In: Kevin Hammond, Anthony J. T. Davie & Chris Clack: Implementation of Functional Languages (IFL'98),
Lecture Notes in Computer Science 1595.
Springer-Verlag,
pp. 139–154,
doi:10.1007/3-540-48515-5_9.
Vincent Rahli, Joe B. Wells, John Pirie & Fairouz Kamareddine (2015):
Skalpel: A Type Error Slicer for Standard ML.
Electronic Notes in Theoretical Computer Science 312,
pp. 197–213,
doi:10.1016/j.entcs.2015.04.012.
Frank Tip & T. B. Dinesh (2001):
A slicing-based approach for locating type errors.
ACM Trans. Softw. Eng. Methodol 10(1),
pp. 5–55,
doi:10.1145/366378.366379.
Jeremy Wazny (2006):
Type inference and type error diagnosis for Hindley/Milner with extensions.
University of Melbourne,
Australia.
Jun Yang (1999):
Explaining Type Errors by Finding the Source of a Type Conflict.
In: Philip W. Trinder, Greg Michaelson & Hans-Wolfgang Loidl: Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999,
Trends in Functional Programming 1.
Intellect,
pp. 59–67.
Danfeng Zhang & Andrew C. Myers (2014):
Toward general diagnosis of static errors.
In: Suresh Jagannathan & Peter Sewell: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014.
ACM,
pp. 569–582,
doi:10.1145/2535838.2535870.
eptcs@eptcs.org