download
| history
| home
| papers
| performance
| projects
| team
| user guide
| users
Here is a list of companies, projects, and people 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.
- CIL, a compiler for SML, uses MLton as a defunctorizer.
- ConCert, a
project investigating certified code for grid computing,
uses MLton to build some of their front-end software.
- Dan Wang and Andrew Appel showed how to modify MLton to
generate a strongly typed garbage
collector as part of a program
in their paper Type-Preserving
Garbage Collectors.
- Hardcore
Processing uses MLton as a
crosscompiler from Linux to Windows
for graphics and game software.
- CEX3D Converter, a
conversion program for 3D objects.
- Interactive Showreel, which contains a crossplatform GUI-toolkit
and a realtime renderer for a subset of RenderMan written in Standard ML.
- various games
- Joe Hurd uses MLton to compile
Metis,
the first-order prover used in the HOL4 theorem proving system.
- Kevin Lang uses MLton to implement Faster Algorithms for Finding Minimal Consistent DFAs.
- Michael Neumann uses MLton to build
Guugelhupf,
a simple search engine.
- Norman Ramsey uses MLton to build courseware for CS-152,
Harvard's undergraduate programming languages class.
- PolySpace Technologies uses
MLton to compile their product that detects runtime errors in embedded
systems based on abstract interpretation.
- Simon Helsen bases MLOPE, an offline partial evaluator for Standard ML, on an early version of MLton.
- Sourcelight Technologies
uses MLton internally for prototyping and for processing databases as part
of their system that makes personalized movie recommendations.
- Tom Murphy uses MLton to compile mlftpd, an ftp daemon, as well as other
replacements for standard network services. He also uses MLton to build his entries
(2001,
2002)
in the annual ICFP programming contest.
Tom and Brendan McMahan also have an implementation of
SSA
PRE (Partial Redundancy
Elimination) for MLton.
- Twelf,
a project implementing the LF logical framework,
uses MLton to build their Linux binary RPMS.
MLton
Last modified: Mon Jul 7 16:21:53 PDT 2003