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

researchr

You are not signed in
Sign in
Sign up

Kanae Tsushima, Olaf Chitil, Joanna Sharrad. Type debugging with counter-factual type error messages using an existing type checker. In Jurriën Stutterheim, Wei-Ngan Chin, editors, IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019. ACM, 2019. [doi]

This author has not been identified. Look up 'Kanae Tsushima' in GoogleThis author has not been identified. Look up 'Olaf Chitil' in GoogleThis author has not been identified. Look up 'Joanna Sharrad' in Google

runs on WebDSL