About: Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:AcademicArticle, within Data Space : demo.openlinksw.com associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/ConferenceItemEPrint http://eprints.org/ontology/EPrint Article Academic Article
seeAlso	HTML Summary of #81976 Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker
sameAs	Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker
http://eprints.org/ontology/hasAccepted	Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker (PDF)
http://eprints.org/ontology/hasDocument	Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker (PDF) Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker (Other) Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker (Other) Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker (Other) Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker (Other) Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker (Other)
dc:hasVersion	Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker (PDF)
Title	Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2020-03-08
Creator	Joanna Sharrad Kanae Tsushima Olaf Chitil
status	peer reviewed published
Publisher	ACM
abstract	The cause of a type error can be very difficult to find for the Hindley-Milner type system. Consequently many solutions have been proposed, but they are hardly used in practice. Here we propose a new solution that provides counter-factual type error messages; these messages state what types specific subexpressions in a program should have (in contrast to the types they actually have) to remove a type error. Such messages are easy-to-understand, because programers are already familiar with them. Furthermore, our solution is easy-to-implement, because it reuses an existing type checker as a subroutine. We transform an ill-typed program into a well-typed program with additional λ-bound variables. The types of these λ-bound variables yield actual and counter-factual type information. That type information plus intended types added as type annotations direct the search of the type debugger.
Is Part Of	https://kar.kent.ac.uk/id/repository
Subject	QA 76 Software, computer programming,
list of authors	https://kar.kent.ac.uk/id/eprint/81976#authors
presented at	IFL 2019: 31st Symposium on Implementation and Application of Functional Languages
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #81976 Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker

Faceted Search & Find service v1.17_git144 as of Jul 26 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 45 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software