It is frequently claimed that the human mind is organized in a modular fashion, a hypothesis linked historically, though not inevitably, to the claim that many aspects of the huma...
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 ...
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
Large-scale experiments and data integration have provided the opportunity to systematically analyze and comprehensively understand the topology of biological networks and biochem...
Using on-chip interconnection networks in place of ad-hoc global wiring structures the top level wires on a chip and facilitates modular design. With this approach, system modules...