Home › Categories › Technology› A Modular Module System [PDF]

A Modular Module System [PDF].pdf

modular-modules-jfp.pdf

Preview of A modular module system [PDF]

🔗 Source: pauillac.inria.fr

📊 Size: 272 KB

📄 Pages: 35 pages

⬇️ Downloads: 980

Summary

A modular module system is presented as a module parameterized by a base language and its type-checker, providing a simple implementation of an SML-like module system. This implementation is useful as a tutorial on the Harper-Lillibridge-Leroy module system and its implementation, and as a demonstration of its applicability to various programming languages. The system is designed to be base language-independent, allowing it to be easily equipped with SML-style modules if the language can be cast in the specified shape. The implementation is written in Objective Caml and provides a reference implementation of the module system, complementing its type-theoretic description.

Download File

Description

A modular module system is presented as a module parameterized by a base language and its type-checker, providing a simple implementation of an SML-like module...

Technical Information

File Format: PDF
File Size: 272 KB
Pages: 35
Language: EN
Total Downloads: 980
Last Updated: 2 hours ago

Document Overview

This PDF document about A modular module system [PDF] provides comprehensive information and guidance. Whether you're a beginner or advanced user, this resource offers valuable insights into A modular module system [PDF].