Skalpel

swMATH16984MaRDI QIDQ28847FDOQ28847

Author name not available (Why is that?)

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