A common framework using expected types for several type debugging approaches

DOI10.1007/978-3-319-90686-7_15OpenAlexW2800462780MaRDI QIDQ1648891

Olaf Chitil, Kanae Tsushima

Publication date: 9 July 2018

Full work available at URL: https://kar.kent.ac.uk/66352/1/common-framework-expected.pdf

Mathematics Subject Classification ID

Theory of software (68N99)

This page was built for publication: A common framework using expected types for several type debugging approaches