MLton

From MaRDI portal

Revision as of 21:25, 5 March 2024 by Import240305080343 (talk | contribs) (Created automatically from import240305080343)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Software:26832

Jump to:navigation, search

swMATH14937MaRDI QIDQ26832

No author found.

Related Items (11)

Unnamed Item ⋮ Refinement to Imperative/HOL ⋮ Hierarchical memory management for parallel programs ⋮ Formalizing network flow algorithms: a refinement approach in Isabelle/HOL ⋮ Refinement to imperative HOL ⋮ A verified proof checker for higher-order logic ⋮ Lightweight checkpointing for concurrent ML ⋮ Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code ⋮ A revision of the proof of the Kepler conjecture ⋮ The verified CakeML compiler backend ⋮ Producing all ideals of a forest, functionally

This page was built for software: MLton

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:26832&oldid=29573613"