Skalpel: A Type Error Slicer for Standard ML. - Vincent Rahli; Joe B. Wells; John Pirie; Fairouz Kamareddine (LSFA, 2014)

New developments to Skalpel: a type error slicing method for explaining errors in type and effect systems. - John Pirie (2014)

Skalpel: A constraint-based type error slicer for Standard ML. - Vincent Rahli; Joe B. Wells; John Pirie; Fairouz Kamareddine (J. Symb. Comput., 2017)