Hostname: page-component-745bb68f8f-kw2vx Total loading time: 0 Render date: 2025-01-12T04:04:21.415Z Has data issue: false hasContentIssue false
  • English
  • Français

A modular module system

Published online by Cambridge University Press:  01 May 2000

XAVIER LEROY
XAVIER LEROY
Affiliation:
INRIA Rocquencourt, B.P. 105, 78153 Le Chesnay, France (e-mail: [email protected])
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
Information
Journal of Functional Programming , Volume 10 , Issue 3 , May 2000 , pp. 269 - 303
Copyright
© 2000 Cambridge University Press
Submit a response

Discussions

No Discussions have been published for this article.