This is a proposal for extending the Standard ML Basis Library, which includes a report and an implementation.
The implementation is ready to use with (hopefully) any Standard ML compiler
and it is the hope that
these extensions will eventually become part of the Standard ML Basis Library.
Report with Documentation
Notice: A later article has been submitted for the ML2009 Workshop (to appear here).
For the ML2009 Workshop reviewers: Version 0.8.2 is preliminary.