Explaining Type Inference (1995)

Cached

Download Links

by Dominic Duggan , Frederick Bent
Venue:Science of Computer Programming
Citations:53 - 0 self

Documents Related by Co-Citation

47 Explaining Type Errors in Polymorphic Languages – Mike Beaven, Ryan Stansifer - 1994
67 Finding the source of type errors – M Wand - 1986
50 Proofs about a Folklore Let-Polymorphic Type Inference Algorithm – Oukseh Lee, Kwangkeun Yi - 1998
21 Debugging type errors (full version – Karen L Bernstein, Eugene W Stark - 1995
26 On the Unification of Substitutions in Type Inference – Bruce J. Mcadam - 1998
40 A maximum-flow approach to anomaly isolation in unification-based incremental type inference – G F Johnson, J A Walz - 1986
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
19 Explaining Type Errors by Finding the Source of a Type Conflict – Jun Yang - 2000
23 Compositional Explanation of Types and Algorithmic Debugging of Type Errors – Olaf Chitil - 2001
939 A theory of type polymorphism in programming – Robin Milner - 1978
23 A slicing-based approach for locating type errors – T. B. Dinesh, Frank Tip - 1997
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
45 Type Error Slicing in Implicitly Typed Higher-Order Languages – Christian Haack, J. B. Wells - 2004
78 Basic polymorphic typechecking – Luca Cardelli - 1987
94 Type assignment in programming languages – L Damas - 1985
14 An Explanation Based Polymorphic Type Checker for Standard ML – H Soosaipillai - 1990
6 An explanation based polymorphic type-checker for Standard ML – Helen Soosaipillai - 1990
4 A maximum approach to anomaly isolation in uni incremental type inference – Gregory F Johnson, Janet A Walz - 1986
6 Interactive Programming Environment for ML – Laurent Thery, Laurence Rideau, Laurence Rideau, Environnement Programmation, Interactif Ml - 1997