A modular module system

XAVIER LEROY

doi:10.1017/S0956796800003683

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.

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Ancona, Davide and Zucca, Elena 2001. ECOOP 2001 — Object-Oriented Programming. Vol. 2072, Issue. , p. 354.

Crary, Karl 2001. Types in Compilation. Vol. 2071, Issue. , p. 1.

Sewell, Peter 2001. Modules, abstract types, and distributed versioning. p. 236.

Sewell, Peter 2001. Modules, abstract types, and distributed versioning. ACM SIGPLAN Notices, Vol. 36, Issue. 3, p. 236.

Barthe, Gilles and Coquand, Thierry 2002. Applied Semantics. Vol. 2395, Issue. , p. 1.

Rémy, Didier 2002. Applied Semantics. Vol. 2395, Issue. , p. 413.

Diatchki, Iavor S. Jones, Mark P. and Hallgren, Thomas 2002. A formal specification of the Haskell 98 module system. p. 17.

Ancona, Davide Fagorzi, Sonia and Zucca, Elena 2003. Theoretical Computer Science. Vol. 2841, Issue. , p. 284.

Dreyer, Derek Crary, Karl and Harper, Robert 2003. A type system for higher-order modules. ACM SIGPLAN Notices, Vol. 38, Issue. 1, p. 236.

Dreyer, Derek Crary, Karl and Harper, Robert 2003. A type system for higher-order modules. p. 236.

Ancona, Davide Fagorzi, Sonia and Zucca, Elena 2004. Exploring New Frontiers of Theoretical Informatics. Vol. 155, Issue. , p. 423.

Filliâtre, Jean-Christophe and Letouzey, Pierre 2004. Programming Languages and Systems. Vol. 2986, Issue. , p. 370.

Logozzo, Francesco 2004. Approximating module semantics with constraints. p. 1490.

Colin, S. Petit, D. Rocheteau, J. Marcano, R. Mariano, G. and Poirriez, V. 2005. BRILLANT: an open source and XML-based platform for rigourous software development. p. 373.

Ramsey, Norman Fisher, Kathleen and Govereau, Paul 2005. An expressive language of signatures. p. 27.

Ramsey, Norman Fisher, Kathleen and Govereau, Paul 2005. An expressive language of signatures. ACM SIGPLAN Notices, Vol. 40, Issue. 9, p. 27.

Nakata, Keiko and Garrigue, Jacques 2006. Recursive modules for programming. p. 74.

Kirchner, Claude Kirchner, Hélène and Santana, Anderson 2006. Anchoring Modularity in HTML. Electronic Notes in Theoretical Computer Science, Vol. 157, Issue. 2, p. 133.

Nakata, Keiko and Garrigue, Jacques 2006. Recursive modules for programming. ACM SIGPLAN Notices, Vol. 41, Issue. 9, p. 74.

Garrigue, Jacques 2006. Programming Languages and Systems. Vol. 4279, Issue. , p. 44.

Download full list

Article contents

A modular module system

Abstract

Discussions

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Article contents

A modular module system

Abstract

Discussions

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests