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

Active Bibliography

10 A rewriting semantics for type inference – George Kuan, David Macqueen, Robert Bruce Findler - 2007
7 Explaining Polymorphic Types – Yang Jun, Greg Michaelson, Phil Trinder - 2002
2 Improving Type-Error Messages in Functional Languages – Bastiaan Heeren, Johan Jeuring, Doaitse Swierstra, Pablo Azero Alcocer - 2002
11 How to Repair Type Errors Automatically – Bruce Mcadam - 2001
26 On the Unification of Substitutions in Type Inference – Bruce J. Mcadam - 1998
1 Polymorphic Type Reconstruction Using Type Equations – Venkatesh Choppella - 2003
Source-tracking Unification using semi-Dyck labeled reachability – Venkatesh Choppella, Christopher T. Haynes - 2004
4 Graphs for Recording Type Information – Bruce J. McAdam - 1999
19 Improved Type Error Reporting – Jun Yang, Greg Michaelson, Phil Trinder, J. B. Wells - 2000
45 Type Error Slicing in Implicitly Typed Higher-Order Languages – Christian Haack, J. B. Wells - 2004
19 Explaining Type Errors by Finding the Source of a Type Conflict – Jun Yang - 2000
13 Searching for Type-Error Messages – Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers - 2007
16 Generalising Techniques for Type Debugging – Bruce J. Mcadam - 2000
14 A type system equivalent to a model checker – Mayur Naik, Jens Palsberg - 2005
7 Typeview: A Tool for Understanding Type Errors – Olaf Chitil, Frank Huch, Axel Simon - 2000
4 Kima – an Automated Error Correction System for Concurrent Logic Programs – Yasuhiro Ajiro, Kazunori Ueda - 2000
3 Source-tracking Unification – Christopher T. Haynes - 2003
23 Compositional Explanation of Types and Algorithmic Debugging of Type Errors – Olaf Chitil - 2001
6 Diagnosis of Ill-typed Programs – Venkatesh Choppella, Christopher T. Haynes - 1995