@inproceedings(Chitil2001, author = "O. Chitil.", year = "2001", title = "Compositional {E}xplanation of {T}ypes and {A}lgorithmic {D}ebugging of {T}ype {E}rrors", booktitle = "ICFP '01 Proceedings of 6th ACM SIGPLAN International Conference on Functional Programming", pages = "193--204", doi = "10.1145/507656.507659", url = "http://dl.acm.org/citation.cfm?id=507659", ) @inproceedings(Felleisen2004, author = "M. Felleisen and R.B. Findler and M. Flatt and S. Krishnamurthi", year = "2004", title = "The Structure and Interpretation of \penalty -\@M the Computer Science Curriculum", booktitle = "Journal of Functional Programming", pages = "365--378", doi = "10.1017/S0956796804005076", url = "http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=227683&fileId=S0956796804005076", ) @book(HtDP, author = "M. Felleisen and R.B. Findler and M. Flatt and S. Krishnamurthi", year = "2014", title = "How to Design Programs", edition = "2nd", publisher = "Cambridge: MIT Press", ) @conference(Haack2004, author = "C. Haack and J.B. Wells", year = "2004", title = "Type Error Slicing in Implicitly Typed Higher-Order Languages", booktitle = "Science of Computer Programming, the 12th European symposium on programming (ESOP'03)", volume = "50", pages = "189--224", doi = "10.1016/j.scico.2004.01.004", ) @inproceedings(Hage2007, author = "J. Hage and B. Heeren", year = "2007", title = "Heuristics for Type Error Discovery and Recovery", booktitle = "Implementation and Application of Functional Languages (IFL'06)", volume = "4449", pages = "199--216", doi = "10.1007/978-3-540-74130-5\_12", ) @inproceedings(Hage2003, author = "B. Heeren and J. Hage and S.D. Swierstra", year = "2003", title = "Constraint Based Type Inferencing in Helium", booktitle = "Workshop Proceedings of Immediate Applications of Constraint Programming", pages = "59--80", ) @inproceedings(Heeren2003, author = "B. Heeren and J. Hage and S.D. Swierstra", year = "2003", title = "Scripting the Type Inference Process", booktitle = "the 8th ACM SIGPLAN international conference on Functional programming (ICFP'03)", pages = "3--13", doi = "10.1145/944705.944707", url = "http://dl.acm.org/citation.cfm?doid=944705.944707", ) @inproceedings(Marceau2011.3, author = "G. Marceau and K. Fisler and S. Krishnamurthi", year = "2011", title = "Measuring the {E}ffectiveness of {E}rror {M}essages \penalty -\@M {D}esigned for {N}ovice {P}rogrammers", booktitle = "SIGCSE '11 Proceedings of the 42nd ACM technical symposium on Computer science education", pages = "499--504", doi = "10.1145/1953163.1953308", url = "http://dl.acm.org/citation.cfm?id=1953163.1953308", ) @inproceedings(Marceau2011.10, author = "G. Marceau and K. Fisler and S. Krishnamurthi", year = "2011", title = "Mind {Y}our {L}anguage: {O}n {N}ovices' {I}nteractions \penalty -\@M with {E}rror {M}essages", booktitle = "ONWARD '11 Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software", pages = "3--18", doi = "10.1145/2048237.2048241", url = "http://dl.acm.org/citation.cfm?id=2048241", ) @inproceedings(Laurie2008, author = "L. Murphy and et al.", year = "2008", title = "Debugging: {T}he {G}ood, the {B}ad, and the {Q}uirky -- a {Q}ualitative {A}nalysis of \penalty -\@M {N}ovices' {S}trategies", booktitle = "SIGCSE '08 Proceedings of the 39th SIGCSE technical symposium on Computer science education", pages = "163--167", doi = "10.1145/1352135.1352191", url = "http://dl.acm.org/citation.cfm?id=1352191", ) @techreport(RWK2010, author = "V. Rahli and J.B. Wells and F. Kamareddine", year = "2010", title = "A constraint system for a SML type error slicer", type = "Technical Report", institution = "Technical Report HW-MACS-TR-0079, Heriot-Watt university", ) @inproceedings(Schilling2012, author = "T. Schilling", year = "2012", title = "{C}onstraint {F}ree {T}ype {E}rror {S}licing", booktitle = "the 12th international conference on Trends in Functional Programming (TFP' 11)", pages = "1--16", doi = "10.1007/978-3-642-32037-8\_1", url = "http://link.springer.com/chapter/10.1007\%2F978-3-642-32037-8_1", ) @phdthesis(Shapiro1983, author = "E.Y. Shapiro", year = "1983", title = "Algorithmic {P}rogram {D}ebugging", school = "Yale", url = "http://dl.acm.org/citation.cfm?id=538679", ) @article(James1986, author = "J.C. Spohrer and E. Soloway", year = "1986", title = "Novice {M}istakes: {A}re {T}he {F}olk {W}isdoms {C}orrect?", journal = "Communications of the ACM", volume = "29", pages = "624--632", doi = "10.1145/6138.6145", url = "http://dl.acm.org/citation.cfm?id=6145", ) @inproceedings(Stuckey2003, author = "P.J. Stuckey and M. Sulzmann and J. Wazny", year = "2003", title = "Interactive Type Debugging in Haskell", booktitle = "The 2003 ACM SIGPLAN workshop on Haskell", pages = "72--83", doi = "10.1145/871895.871903", url = "http://dl.acm.org/citation.cfm?doid=871895.871903", ) @inproceedings(Tsushima2012IFL, author = "K. Tsushima and K. Asai", year = "2012", title = "An {E}mbedded {T}ype {D}ebugger", booktitle = "Implementation and Application of Functional Languages (IFL' 12)", volume = "8241", pages = "190--206", doi = "10.1007/978-3-642-41582-1\_12", url = "http://link.springer.com/chapter/10.1007/978-3-642-41582-1_12", ) @inproceedings(Tsushima2013IFL, author = "K. Tsushima and K. Asai", year = "2013", title = "A Weighted Type Error Slicer", booktitle = "Implementation and Application of Functional Languages, Lecture Notes in Computer Science 8241 (IFL' 13)", pages = "190--206", ) @conference(Yang2000, author = "J. Yang", year = "2010", title = "Explaining Type Errors by Finding the Source of a Type Conflict", booktitle = "Trends in Functional Programming", pages = "58--66", url = "http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.8146", ) @conference(YMTW2000, author = "J. Yang and G. Michaelson and P. Trinder and and J.B. Wells", year = "2000", title = "Improved Type Error Reporting", booktitle = "[Draft] Proc. 12th Int'l Workshop on Implementation of Functional Languages, Aachen, Germany", pages = "4--7", url = "http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.6846", )