论文信息 - A module system for scheme

A module system for scheme

This paper presents a module system designed for large-scale programming in Scheme. The module system separates specifications of objects from their implementations, permitting the separate development, compilation, and testing of modules. The module system also includes a robust macro facility. We discuss our design goals, the design of the module system, implementation issues, and our future plans.

Pavel Curtis | James Rauen

[1] Luca Cardelli,et al. Modula-3 Report (revised) , 1992 .

[2] Craig Schaffert,et al. Abstraction mechanisms in CLU , 1977, Commun. ACM.

[3] William D. Clinger,et al. Revised3 report on the algorithmic language scheme , 1986, SIGP.

[4] D. H. Bartley,et al. Revised4 report on the algorithmic language scheme , 1991, LIPO.

[5] Matthias Felleisen,et al. A Closer Look at Export and Import Statements , 1986, Comput. Lang..

[6] G. L. Steele. Common Lisp , 1990 .

[7] Carl H. Hauser,et al. The portable common runtime approach to interoperability , 1989, SOSP '89.

[8] Mark A. Sheldon,et al. Static dependent types for first class modules , 1990, LISP and Functional Programming.

[9] Jonathan Rees,et al. Syntactic closures , 1988, LISP and Functional Programming.

[10] E E Kohlbecker,et al. Syntactic extensions in the programming language LISP , 1986 .

[11] James H. Morris,et al. Early experience with Mesa , 1977 .

[12] Robin Milner,et al. The definition of standard ML, Version 3 , 1988 .