Sciweavers

LFP
1990
101views more  LFP 1990»
13 years 6 months ago
A Module System for Scheme
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 ...
Pavel Curtis, James Rauen
FDL
2004
IEEE
13 years 8 months ago
Reuse of SML module system for the B language
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...
Dorian Petit, Vincent Poirriez, Georges Mariano