Work

A modular module system

Year: 2000

Type: article

Abstract: 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.

Source: Journal of Functional Programming

DOI: 10.1017/s0956796800003683

Author: XAVIER LEROY

Institution: Institut national de recherche en sciences et technologies du numérique

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2127600624

FWCI: 10.7

Cites: 44

Cited by: 122

Related to: 10