Skalpel: A Type Error Slicer for Standard ML

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)197-213
Number of pages17
JournalElectronic Notes in Theoretical Computer Science
Volume312
Publication statusPublished - 2015