Poly/ML
From MaRDI portal
Software:23299
swMATH11353MaRDI QIDQ23299FDOQ23299
Author name not available (Why is that?)
Cited In (11)
- 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
- Proof of OS scheduling behavior in the presence of interrupt-induced concurrency
- The verified CakeML compiler backend
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
- From LCF to Isabelle/HOL
- Verified Root-Balanced Trees
- Interactive simplifier tracing and debugging in Isabelle
This page was built for software: Poly/ML
