Publication details

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

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               

@TECHREPORT{sml-with-packages,
  title = {The Definition of Standard ML with Packages},
  author = {Andreas Rossberg},
  year = {2005},
  type = {{Technical Report}},
  address = {{Saarbrücken, Germany}},
  institution = {{Universität des Saarlandes}},
}

Login to edit