Documentation

MLKit User’s Guide

• Installation
• Bootstrapping
• MLKit Basis Library Implementation
• ML Basis Files
• Static Interpretation of Modules
• Bugs

Programming with Regions in the MLKit

A guide for programming with regions in the MLKit is available:

• Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, and Peter Sestoft. Programming with Regions in the MLKit (revised for Version 4.7.2). Department of Computer Science, University of Copenhagen. December 2022. pdf, bibtex.

Other Resources

• The MLKit implements most of the Standard ML Basis Library
• The 1997 Summer School on Region-Based Memory Management
• comp.lang.ml FAQ
• Stephen Gilmore’s Programming in Standard ML’97
• Related papers and reports