Here is a list of projects that use or have used MLton. If you would like
to add something to the list, please send mail to MLton@mlton.org with a
brief description and a link.
Dan Wang uses MLton to implement a prototype
Type-Preserving
Garbage Collector, which generates a strongly typed garbage
collector as part of a program.
PolySpace Technologies uses
MLton to compile their commercial product for detection of runtime
errors in embedded systems based on abstract interpretation.
Simon Helsen uses MLton to develop MLOPE, an offline partial evaluator for full Standard ML.