Items where Author, Editor or other role is "Sharrad, Joanna"

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: S | T

Number of items: 5.

S

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)

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)

T

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)

This list was generated on Thu Apr 25 20:17:48 2024 BST.