Lambda the Ultimate

inactiveTopic A modular module system
started 11/6/2001; 12:37:30 PM - last post 11/6/2001; 12:37:30 PM
Ehud Lamm - A modular module system  blueArrow
11/6/2001; 12:37:30 PM (reads: 1382, responses: 0)
A modular module system
This paper shows that you can define a module system, independent of the base language (e.g., Ada, ML etc.). Essentially the paper gives a constructive proof, by showing a module system, parametrized by the base language - specifically by the type checker.

The code from the paper, is available in a web appendix.

Posted to Software-Eng by Ehud Lamm on 11/6/01; 12:38:49 PM