Skip to main content

A Common Framework Using Expected Types for Several Type Debugging Approaches

Tsushima, Kanae, Chitil, Olaf (2018) A Common Framework Using Expected Types for Several Type Debugging Approaches. In: Lecture Notes in Computer Science. FLOPS 2018: Fourteenth International Symposium on Functional and Logic Programming. Lecture Notes in Computer Science , 10818. pp. 230-246. Springer ISBN 978-3-319-90685-0. E-ISBN 978-3-319-90686-7. (doi:10.1007/978-3-319-90686-7_15) (KAR id:66352)

PDF Author's Accepted Manuscript
Language: English
Download (538kB) Preview
[thumbnail of common-framework-expected.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL


Many different approaches to type error debugging were developed independently.

for several type error debugging approaches.

and propose a method for obtaining them.

enumeration of type error messages, type error slicing and

Based on our idea we implemented prototypes

and confirm that the framework works well for type debugging.

Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.1007/978-3-319-90686-7_15
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Olaf Chitil
Date Deposited: 12 Mar 2018 14:20 UTC
Last Modified: 16 Feb 2021 13:53 UTC
Resource URI: (The current URI for this page, for reference purposes)
Chitil, Olaf:
  • Depositors only (login required):


Downloads per month over past year