MLton
From MaRDI portal
Software:26832
swMATH14937MaRDI QIDQ26832FDOQ26832
Author name not available (Why is that?)
Cited In (11)
- 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
- Refinement to Imperative/HOL
- Lightweight checkpointing for concurrent ML
- The verified CakeML compiler backend
- 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
