The following publications are possibly variants of this publication:
- Skalpel: A Type Error Slicer for Standard MLVincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine. ENTCS, 312:197-213, 2015. [doi]
- Type error slicing in implicitly typed higher-order languagesChristian Haack, Joe B. Wells. SCP, 50(1-3):189-224, 2004. [doi]
- New developments to Skalpel: a type error slicing method for explaining errors in type and effect systemsJohn Pirie. PhD thesis, Heriot-Watt University, Edinburgh, UK, 2014. [doi]