Cited in
(26)- Skalpel: a type error slicer for standard ML
- Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework
- Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
- A verified proof checker for higher-order logic
- Isabelle/PIDE
- CompCertTSO
- OpenAxiom
- jEdit
- Proof General Kit
- iJulienne
- FreeRTOS
- MLton
- PolyML
- Skalpel
- ACE
- GCminor
- Gauss-Jordan
- QR Decomposition
- Root Balanced Tree
- Proof of OS scheduling behavior in the presence of interrupt-induced concurrency
- The verified CakeML compiler backend
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
- From LCF to Isabelle/HOL
- Verified Root-Balanced Trees
- Interactive simplifier tracing and debugging in Isabelle
This page was built for software: Poly/ML
