PolyML

MaRDI QIDQ28846swMATHFDO

Official website http://www.polyml.org/

Cited in

(5)

• Skalpel: a type error slicer for standard ML
• Pervasive parallelism in highly-trustable interactive theorem proving systems
• Skalpel
• mini-ML
• Skalpel: a constraint-based type error slicer for standard ML

This page was built for software: PolyML