Skalpel

MaRDI QIDQ28847swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S157106611500016X

Cited in

(4)

• Skalpel: a type error slicer for standard ML
• PolyML
• mini-ML
• Skalpel: a constraint-based type error slicer for standard ML

This page was built for software: Skalpel