This HTML5 document contains 29 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n12https://kar.kent.ac.uk/id/eprint/81976#
dctermshttp://purl.org/dc/terms/
n2https://kar.kent.ac.uk/id/eprint/
wdrshttp://www.w3.org/2007/05/powder-s#
n19http://purl.org/ontology/bibo/status/
n21https://kar.kent.ac.uk/81976/
dchttp://purl.org/dc/elements/1.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n10https://kar.kent.ac.uk/id/subject/
n14https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n5http://eprints.org/ontology/
n4https://kar.kent.ac.uk/id/event/
bibohttp://purl.org/ontology/bibo/
n16https://kar.kent.ac.uk/id/org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n7https://kar.kent.ac.uk/id/
n8https://kar.kent.ac.uk/id/document/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18doi:10.1145/
n15https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/
n9https://kar.kent.ac.uk/id/person/

Statements

Subject Item
n2:81976
rdf:type
n5:EPrint bibo:AcademicArticle bibo:Article n5:ConferenceItemEPrint
rdfs:seeAlso
n21:
owl:sameAs
n18:3412932.3412939
n5:hasAccepted
n8:3212124
n5:hasDocument
n8:3212195 n8:3212196 n8:3212197 n8:3212124 n8:3212140 n8:3212198
dc:hasVersion
n8:3212124
dcterms:title
Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker
wdrs:describedby
n14:export_kar_RDFN3.n3 n15:export_kar_RDFN3.n3
dcterms:date
2020-03-08
dcterms:creator
n9:ext-k_tsushima@nii.ac.jp n9:ext-o.chitil@kent.ac.uk n9:ext-jks31@kent.ac.uk
bibo:status
n19:peerReviewed n19:published
dcterms:publisher
n16:ext-2af1883e4bbfa0356fcedb366171cb38
bibo: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.
dcterms:isPartOf
n7:repository
dcterms:subject
n10:QA76
bibo:authorList
n12:authors
bibo:presentedAt
n4:ext-bcd07a3e3ba1312aacd9ff75b7b33a06