Publication details

Saarland University Computer Science

The Definition of Standard ML with Packages

Andreas Rossberg

Technical Report, Universität des Saarlandes, Saarbrücken, Germany, 2005

This document formally specifies the semantics of local modules and - dynamically typed modules that are first-class values - as an extension to the functional programming language Standard ML. The language thus defined is a substantial subset of a larger extension of Standard ML, a language known as Alice ML. Packages are the central feature of Alice ML that enables support for .

Download PDF        Show BibTeX               


Login to edit


Legal notice, Privacy policy