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

by M Tofte, L Birkedal, M Elsman, N Hallenberg, T H Olesen, P Sestoft, P Bertelsen