Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine. Skalpel: A constraint-based type error slicer for Standard ML. Journal of Symbolic Computation, 80:164-208, 2017. [doi]
@article{RahliWPK17, title = {Skalpel: A constraint-based type error slicer for Standard ML}, author = {Vincent Rahli and Joe B. Wells and John Pirie and Fairouz Kamareddine}, year = {2017}, doi = {10.1016/j.jsc.2016.07.013}, url = {http://dx.doi.org/10.1016/j.jsc.2016.07.013}, researchr = {https://researchr.org/publication/RahliWPK17}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {80}, pages = {164-208}, }