Programming with regions in the ML Kit (for version 3 (1998)

by Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, Peter Sestoft, Peter Bertelsen