Home
 

Modules and Persistence in Standard ML

R. Harper

Abstract: We discuss the introduction of various forms of persistence in Standard ML. Since we are concerned primarily with providing support for separate compilation and session preservation, the treatment is entirely in terms of the modules facility. Several forms of persistence are isolated, and implementation methods are sketched.

LFCS report ECS-LFCS-86-11

Previous | Index | Next