Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Conference or workshop item
Number of items: 3.
Conference or workshop item
Tsushima, Kanae and Chitil, Olaf (2018) A Common Framework Using Expected Types for Several Type Debugging Approaches. In: Lecture Notes in Computer Science. FLOPS 2018: Fourteenth International Symposium on Functional and Logic Programming. Lecture Notes in Computer Science, 10818. Springer pp. 230-246. ISBN 978-3-319-90685-0. E-ISBN 978-3-319-90686-7. (doi:https://doi.org/10.1007/978-3-319-90686-7_15) (Full text available) |
Tsushima, Kanae and Chitil, Olaf (2014) Enumerating Counter-Factual Type Error Messages with an Existing Type Checker. In: 16th Workshop on Programming and Programming Languages, PPL2014, 5-7 March 2014, Aso, Japan. (Full text available) |
Tsushima, Kanae and Chitil, Olaf (2014) Enumerating Counter-Factual Type Error Messages with an Existing Type Checker (poster+demo). In: 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, 17-19 November 2014, Singapore. (Full text available) |