A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Type debugging with counter-factual type error messages using an existing type checker
2019
Proceedings of the 31st Symposium on Implementation and Application of Functional Languages
The version in the Kent Academic Repository may differ from the final published version. Users are advised to check http://kar.kent.ac.uk for the status of the paper. Users should always cite the published version of record.
doi:10.1145/3412932.3412939
fatcat:f77hwxykpvhftbdbzhswcfnmau