Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

JFP
2000

favoriteEmaildiscussreport

95views more JFP 2000»

A modular module system

13 years 4 months ago

A modular module system

Download caml.inria.fr

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.

Xavier Leroy

Real-time Traffic

Implementation | JFP 2000 | Simple Implementation | SML-like Module |

claim paper

Related Content

» Analyzing the effects of module encapsulation on search space bias

» Modularity for Timed and Hybrid Systems

» Visual Programs Module Choice and Layout in the Nord Modular Patch Language

» Reuse of SML module system for the B language

» Toward a Practical Module System for ACL2

» Modular thinking evolving modular neural networks for visual guidance of agents

» Variable module graphs a framework for inference and learning in modular vision systems

» Modular Interdependency in Complex Dynamical Systems

» Stressdriven MEMS assembly electrostatic forces 1mm diameter robot

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2000
Where	JFP
Authors	Xavier Leroy

Comments (0)