MLton
From MaRDI portal
Cited in
(26)- AMulet
- Formalizing network flow algorithms: a refinement approach in Isabelle/HOL
- Netsoft
- Refinement to imperative HOL
- A verified proof checker for higher-order logic
- CompCertTSO
- Poly/ML
- Camlp4
- Refinement to Imperative/HOL
- Hierarchical memory management for parallel programs
- Lightweight checkpointing for concurrent ML
- Separation Logic
- Dijkstra Shortest Path
- Flow Networks
- Collections
- Imperative Refinement
- petBoss
- scientific article; zbMATH DE number 1948402 (Why is no real title available?)
- Producing all ideals of a forest, functionally
- The verified CakeML compiler backend
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
- PolyCleaner
- Prpu_Maxflow
- Nusschecker
- Pacheck
- A revision of the proof of the Kepler conjecture
This page was built for software: MLton
