Items where Author, Editor or other role is "Sharrad, Joanna"
![[up]](/style/images/multi_up.png)
Up a levelNumber of items: 5.
| Sharrad, Joanna, Chitil, Olaf (2022) Refining the Delta Debugging of Type Errors. In: 33rd Symposium on Implementation and Application of Functional Languages (IFL '21). IFL '21: Proceedings of the 33rd Symposium on Implementation and Application of Functional Languages. . ACM, New York, NY, USA E-ISBN 978-1-4503-8644-9. (doi:10.1145/3544885.3544888) (KAR id:96134) |
|
| Sharrad, Joanna (2022) Debugging Type Errors with a Blackbox Compiler. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.93540) (KAR id:93540) |
|
| Sharrad, Joanna and Chitil, Olaf (2020) Scaling Up Delta Debugging of Type Errors. In: Byrski, Aleksander and Hughes, John, eds. Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 71-93. ISBN 978-3-030-57760-5. E-ISBN 978-3-030-57761-2. (doi:10.1007/978-3-030-57761-2_4) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:81977) |
|
| Tsushima, Kanae, Chitil, Olaf, Sharrad, Joanna (2020) Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker. In: IFL '19: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages. ICPS . ACM, New York, NY, USA ISBN 978-1-4503-7562-7. (doi:10.1145/3412932.3412939) (KAR id:81976) |
|
| Sharrad, Joanna, Chitil, Olaf, Wang, Meng (2019) Delta Debugging Type Errors with a Blackbox Compiler. In: Proceedings of the 30th Symposium on Implementation and Application of Functional Languages. . pp. 13-24. ACM ISBN 978-1-4503-7143-8. (doi:10.1145/3310232.3310243) (KAR id:74037) |
|
