The following pages link to MLton (Q26832):
Displaying 11 items.
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- A revision of the proof of the Kepler conjecture (Q977177) (← links)
- Formalizing network flow algorithms: a refinement approach in Isabelle/HOL (Q1722647) (← links)
- Refinement to imperative HOL (Q1739909) (← links)
- A verified proof checker for higher-order logic (Q1987736) (← links)
- Refinement to Imperative/HOL (Q2945637) (← links)
- Hierarchical memory management for parallel programs (Q2985790) (← links)
- Lightweight checkpointing for concurrent ML (Q3564920) (← links)
- (Q4411965) (← links)
- Producing all ideals of a forest, functionally (Q4460722) (← links)
- The verified CakeML compiler backend (Q4972072) (← links)
