MLton
From MaRDI portal
swMATH14937MaRDI QIDQ26832FDOQ26832
Author name not available (Why is that?)
Official website: http://mlton.org/Home
Cited In (26)
- Nusschecker
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
- Title not available (Why is that?)
- Refinement to imperative HOL
- A verified proof checker for higher-order logic
- Producing all ideals of a forest, functionally
- Netsoft
- CompCertTSO
- Poly/ML
- Refinement to Imperative/HOL
- Camlp4
- Lightweight checkpointing for concurrent ML
- The verified CakeML compiler backend
- Dijkstra Shortest Path
- Collections
- Flow Networks
- Separation Logic
- Imperative Refinement
- petBoss
- PolyCleaner
- Prpu_Maxflow
- AMulet
- Pacheck
- A revision of the proof of the Kepler conjecture
- Formalizing network flow algorithms: a refinement approach in Isabelle/HOL
- Hierarchical memory management for parallel programs
This page was built for software: MLton
