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.
Previous | Index | Next An error occured whilst processing this directive