Type debugging with counter-factual type error messages using an existing type checker

Kanae Tsushima, Olaf Chitil, Joanna Sharrad
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