The following pages link to Poly/ML (Q23299):
Displayed 11 items.
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (Q333325) (← links)
- Skalpel: a type error slicer for standard ML (Q530861) (← links)
- A verified proof checker for higher-order logic (Q1987736) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency (Q2829245) (← links)
- The verified CakeML compiler backend (Q4972072) (← links)
- Verified Root-Balanced Trees (Q5056001) (← links)
- Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit (Q5170238) (← links)
- Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework (Q5200105) (← links)
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm (Q5371950) (← links)
- Interactive Simplifier Tracing and Debugging in Isabelle (Q5495933) (← links)