%0 Conference Paper %1 conf/ifl/TsushimaCS19 %A Tsushima, Kanae %A Chitil, Olaf %A Sharrad, Joanna %B IFL %D 2019 %E Stutterheim, Jurriën %E Chin, Wei-Ngan %I ACM %K dblp %P 7:1-7:12 %T Type debugging with counter-factual type error messages using an existing type checker. %U http://dblp.uni-trier.de/db/conf/ifl/ifl2019.html#TsushimaCS19 %@ 978-1-4503-7562-7

@inproceedings{conf/ifl/TsushimaCS19, added-at = {2021-07-21T00:00:00.000+0200}, author = {Tsushima, Kanae and Chitil, Olaf and Sharrad, Joanna}, biburl = {https://www.bibsonomy.org/bibtex/22859e38efe5fe16048432b67d258c0fa/dblp}, booktitle = {IFL}, crossref = {conf/ifl/2019}, editor = {Stutterheim, Jurriën and Chin, Wei-Ngan}, ee = {https://doi.org/10.1145/3412932.3412939}, interhash = {9def2541fca04638943b1cebfaf990a3}, intrahash = {2859e38efe5fe16048432b67d258c0fa}, isbn = {978-1-4503-7562-7}, keywords = {dblp}, pages = {7:1-7:12}, publisher = {ACM}, timestamp = {2024-04-09T09:45:21.000+0200}, title = {Type debugging with counter-factual type error messages using an existing type checker.}, url = {http://dblp.uni-trier.de/db/conf/ifl/ifl2019.html#TsushimaCS19}, year = 2019 }