Proofs about a Folklore Let-Polymorphic Type Inference Algorithm (1998)

Cached

Download Links

by Oukseh Lee , Kwangkeun Yi
Venue:ACM Transactions on Programming Languages and Systems
Citations:50 - 1 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
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
67 Finding the source of type errors – M Wand - 1986
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
21 Debugging type errors (full version – Karen L Bernstein, Eugene W Stark - 1995
19 Explaining Type Errors by Finding the Source of a Type Conflict – Jun Yang - 2000
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
939 A theory of type polymorphism in programming – Robin Milner - 1978
23 Compositional Explanation of Types and Algorithmic Debugging of Type Errors – Olaf Chitil - 2001
45 Type Error Slicing in Implicitly Typed Higher-Order Languages – Christian Haack, J. B. Wells - 2004
94 Type assignment in programming languages – L Damas - 1985
234 Principal type schemes for functional programs – R Milner - 1982
16 Generalising Techniques for Type Debugging – Bruce J. Mcadam - 2000
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
214 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
10 A simple approach to finding the cause of non-unifiability – G S Port - 1988