PolyML

swMATH16983MaRDI QIDQ28846FDOQ28846

Author name not available (Why is that?)

Cited In (3)

• Skalpel: a type error slicer for standard ML
• Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
• Skalpel: a constraint-based type error slicer for standard ML

This page was built for software: PolyML