Compositional Explanation of Types and Algorithmic Debugging of Type Errors (2001)

Cached

Download Links

by Olaf Chitil
Citations:23 - 0 self

Documents Related by Co-Citation

53 Explaining Type Inference – Dominic Duggan, Frederick Bent - 1995
47 Explaining Type Errors in Polymorphic Languages – Mike Beaven, Ryan Stansifer - 1994
45 Type Error Slicing in Implicitly Typed Higher-Order Languages – Christian Haack, J. B. Wells - 2004
50 Proofs about a Folklore Let-Polymorphic Type Inference Algorithm – Oukseh Lee, Kwangkeun Yi - 1998
94 Type assignment in programming languages – L Damas - 1985
40 A maximum-flow approach to anomaly isolation in unification-based incremental type inference – G F Johnson, J A Walz - 1986
67 Finding the source of type errors – M Wand - 1986
939 A theory of type polymorphism in programming – Robin Milner - 1978
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
26 On the Unification of Substitutions in Type Inference – Bruce J. Mcadam - 1998
16 Generalising Techniques for Type Debugging – Bruce J. Mcadam - 2000
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
10 A Generalized Let-Polymorphic Type Inference Algorithm – Oukseh Lee, Kwangkeun Yi - 2000
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
19 Improved Type Error Reporting – Jun Yang, Greg Michaelson, Phil Trinder, J. B. Wells - 2000
7 Parametric type inferencing for Helium – Bastiaan Heeren, Jurriaan Hage - 2002
9 Generalizing Hindley-Milner Type Inference Algorithms – Bastiaan Heeren, Bastiaan Heeren, Jurriaan Hage, Jurriaan Hage, Doaitse Swierstra, Doaitse Swierstra - 2002
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
4 Finding all minimal unsatisfiable constraints – M García de la Banda, P J Stuckey, J Wazny - 2003