Publication details

Saarland University Computer Science

The Missing Link - Dynamic Components for ML (Extended)

Andreas Rossberg

Technical Report, Programming System Lab, Universität des Saarlandes, Saarbrücken, Germany, Extended version of ICFP'06 paper, July 2006

Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so far. We present the design and semantics of a simple yet expressive first-class component system for ML. It provides dynamic linking in a type-safe and type-flexible manner, and allows selective execution in sandboxes. The system is defined solely by reduction to higher-order modules plus an extension with simple module-level dynamics, which we call packages. To represent components outside processes we employ generic pickling. We give a module calculus formalising the semantics of packages and pickling.

Extended version of ICFP'06 paper.

Download PDF        Show BibTeX               

Login to edit

Legal notice, Privacy policy