Eric: Created page with "'''A Common Framework Using Expected Types for Several Type Debugging Approaches''' by Kanae Tsushima Many different approaches to type error debugging were developed indepen..."

2018-05-25T03:09:20Z

Created page with "'''A Common Framework Using Expected Types for Several Type Debugging Approaches''' by Kanae Tsushima Many different approaches to type error debugging were developed indepen..."

New page

'''A Common Framework Using Expected Types for Several Type Debugging Approaches''' by Kanae Tsushima

Many different approaches to type error debugging were developed independently. We introduced a new common framework for several type error debugging approaches. For this purpose, we introduce expected types from the outer context and propose a method for obtaining them. Using expected types, we develop three type error debugging approaches: enumeration of type error messages, type error slicing and (improved) interactive type error debugging. Based on our idea we implemented prototypes and confirm that the framework works well for type debugging.

WG211/M18Tsushima - Revision history

Eric: Created page with "'''A Common Framework Using Expected Types for Several Type Debugging Approaches''' by Kanae Tsushima Many different approaches to type error debugging were developed indepen..."