This paper presents a module system designed for largescale programming in Scheme. The module system separates speci cations of objects from their implementations, permitting the ...
In this paper, we are concerned with studying the semantic of the B modularity. We reuse the Harper-Lillibridge-Leroy (HLL) module system. This system implements an SML like module...