A module system for scheme

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A module system for scheme

Full text

Pdf (843 KB)

Source

Conference on LISP and Functional Programming archive
Proceedings of the 1990 ACM conference on LISP and functional programming table of contents

Nice, France

Pages: 13 - 19

Year of Publication: 1990

ISBN:0-89791-368-X

Authors

Pavel Curtis	Xerox Palo Alto Research Center, 3333 Coyote Hill Rd., Palo Alto, CA
James Rauen	Laboratory for Computer Science, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA

Sponsors

INRIA : Institut Natl de Recherche en Info et en Automatique
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGPLAN: ACM Special Interest Group on Programming Languages
SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 21, Citation Count: 16

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/91556.91573 What is a DOI?

ABSTRACT

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Alan Bawden , Jonathan Rees, Syntactic closures, Proceedings of the 1988 ACM conference on LISP and functional programming, p.86-95, July 25-27, 1988, Snowbird, Utah, United States [doi>10.1145/62678.62687]
	2	Luca CardeUi et al. ~odula-S Report (revised). T~chni- ~al Report 52, Digital Equipment Corporation Systems Research Center, November 1989.
	3	Matthias Felleisen , Daniel P Friedman, A closer look at export and import statements, Computer Languages, v.11 n.1, p.29-37, 1986 [doi>10.1016/0096-0551(86)90015-9]
	4	Charles M. Geschke, James H. Morris, Jr., and Edwin H. Satterthwaite. Early experience with Mesa. A CM S}GP~AN Notices, 12(3):138-152, March 1977.
	5	Robert Harper, Robin Milner, and Muds Torte. The Definition of Standard ML, Version 3. Technical Report ECS-LFCS-89-81, University of Edinburgh, 1989.
	6	Eugene E. Hohlbecker, Jr. Syntactic Extensions in the Programming Language Lisp. Technical Report 199, Indiana University Computer Science Department, August 1986.
	7	Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
	8	Massachusetts Institute of Technology. MIT Scheme Re/erence. Scheme Release 7 edition, June 1989.
	9	Jonathan Rees. Modular Macros. Master's thesis, Massachusetts Institute of Technology, May 1989.
	10	J Rees , W Clinger, Revised report on the algorithmic language scheme, ACM SIGPLAN Notices, v.21 n.12, p.37-79, Dec. 1986 [doi>10.1145/15042.15043]
	11	Jonathan Rees, William Clinger, et al. Revised* report on the algorithmic language Scheme. (Draft).
	12	Jonathan A. Rees, Norman I. Adams, and James R. Meehan. The T Manual Yale University, fourth edition, January 1984.
	13	Mark A. Sheldon. Static Dependent Types .for First- Class Modules. Master's thesis, Massachusetts Institute of Technology, June 1989.
	14	Guy L. Steele, Jr., Common LISP: the language, Digital Press, Newton, MA, 1984
	15	United States Department of Defense. Ada Reference Manual. July 1980.
	16	M. Weiser , A. Demers , C. Hauser, The portable common runtime approach to interoperability, Proceedings of the twelfth ACM symposium on Operating systems principles, p.114-122, November 1989

CITED BY 16

	Harley Davis , Pierre Parquier , Nitsan Séniak, Talking about modules and delivery, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.113-120, July-Sept. 1994
	Shinn-Der Lee , Daniel P. Friedman, Quasi-static scoping: sharing variable bindings across multiple lexical scopes, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.479-492, March 1993, Charleston, South Carolina, United States
	Alan Bawden, First-class macros have types, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.133-141, January 19-21, 2000, Boston, MA, USA
	Robert Bruce Findler , Matthew Flatt, Modular object-oriented programming with units and mixins, ACM SIGPLAN Notices, v.34 n.1, p.94-104, Jan. 1999
	Christian Queinnec , David de Roure, Sharing code through first-class environments, ACM SIGPLAN Notices, v.31 n.6, p.251-261, June 15, 1996
	William Clinger , Jonathan Rees, Macros that work, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.155-162, January 21-23, 1991, Orlando, Florida, United States
	Norman Adams , Pavel Curtis , Mike Spreitzer, First-class data-type representations in SCHEMEXEROX, ACM SIGPLAN Notices, v.28 n.6, p.139-146, June 1993
	Oscar Waddell , R. Kent Dybvig, Extending the scope of syntactic abstraction, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.203-215, January 20-22, 1999, San Antonio, Texas, United States
	Suresh Jagannathan, Metalevel building blocks for modular systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.456-492, May 1994
	Matthew Flatt , Matthias Felleisen, Units: cool modules for HOT languages, ACM SIGPLAN Notices, v.33 n.5, p.236-248, May 1998
	Hans-J. Boehm , Alan J. Demers , Scott Shenker, Mostly parallel garbage collection, ACM SIGPLAN Notices, v.26 n.6, p.157-164, June 1991
	Sho-Huan Simon Tung, Interactive modular programming in Scheme, ACM SIGPLAN Lisp Pointers, v.V n.1, p.86-95, Jan. 1992
	Matthew Flatt, Composable and compilable macros:: you want it when?, ACM SIGPLAN Notices, v.37 n.9, p.72-83, September 2002
	Nicola Onose , Jerome Simeon, XQuery at your web service, Proceedings of the 13th international conference on World Wide Web, May 17-20, 2004, New York, NY, USA
	H. Abelson , R. K. Dybvig , C. T. Haynes , G. J. Rozas , N. I. Adams, IV , D. P. Friedman , E. Kohlbecker , G. L. Steele, Jr. , D. H. Bartley , R. Halstead , D. Oxley , G. J. Sussman , G. Brooks , C. Hanson , K. M. Pitman , M. Wand , William Clinger , Jonathan Rees, Revised report on the algorithmic language scheme, ACM SIGPLAN Lisp Pointers, v.IV n.3, p.1-55, July, 1991
	Xavier Leroy, A modular module system, Journal of Functional Programming, v.10 n.3, p.269-303, May 2000