| Skalpel: A Type Error Slicer for Standard ML |
| English |
| Rahli, Vincent [Cornell University > Computer Science Department] |
| Wells, Joe B. [Heriot-Watt University > School of Mathematical and Computer Sciences] |
| Pirie, John [Heriot-Watt University > School of Mathematical and Computer Sciences] |
| Kamareddine, Fairouz [> >] |
| 2015 |
| Electronic Notes in Theoretical Computer Science |
| Yes |
| International |
| 1571-0661 |
| http://hdl.handle.net/10993/22721 |