PolyML

swMATH16983MaRDI QIDQ28846FDOQ28846

Author name not available (Why is that?)

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