download
| history
| home
| papers
| performance
| projects
| team
| user guide
| users
Here are papers that we have written describing parts of MLton.
- Contification Using Dominators
Matthew Fluet and Stephen Weeks
International Conference on Functional Programming (ICFP), September
2001.
This paper describes contification, a generalization of tail-recursion
elimination that is an optimization operating on MLton's static single
assignment (SSA) intermediate language.
-
Flow-directed Closure Conversion for Typed
Languages
Henry Cejtin, Suresh Jagannathan, and Stephen Weeks
European Symposium on Programming (ESOP), March/April 2000.
(part of ETAPS)
This paper describes MLton's closure-conversion algorithm, which
translates from its simply-typed higher-order intermediate
language to its simply-typed first-order intermediate
language.
Here are some papers that others have written that relate to MLton
in some way.
MLton
Last modified: Mon Jul 7 16:47:08 PDT 2003