Poly/ML
From MaRDI portal
swMATH11353MaRDI QIDQ23299FDOQ23299
Author name not available (Why is that?)
Official website: http://www.polyml.org/FAQ.html
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
- Proof of OS scheduling behavior in the presence of interrupt-induced concurrency
- The verified CakeML compiler backend
- ACE
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
- GCminor
- Gauss-Jordan
- QR Decomposition
- Root Balanced Tree
- 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
