Hostname: page-component-7bb8b95d7b-2h6rp Total loading time: 0 Render date: 2024-10-04T15:29:39.056Z Has data issue: false hasContentIssue false

A modular module system

Published online by Cambridge University Press:  01 May 2000

XAVIER LEROY
Affiliation:
INRIA Rocquencourt, B.P. 105, 78153 Le Chesnay, France (e-mail: Xavier.Leroy@inria.fr)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detailed tutorial on the Harper–Lillibridge–Leroy module system and its implementation, and as a constructive demonstration of the applicability of that module system to a wide range of programming languages.

Type
Research Article
Copyright
© 2000 Cambridge University Press
Submit a response

Discussions

No Discussions have been published for this article.