Article

Free access

A module system for scheme

Authors:

James RauenAuthors Info & Claims

LFP '90: Proceedings of the 1990 ACM conference on LISP and functional programming

Pages 13 - 19

https://doi.org/10.1145/91556.91573

Published: 01 May 1990 Publication History

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

[1]

Alan Bawden and Jonathan Rees. Syntactic closures. In Proceedings o.f the 1988 A CM Con/erence on Lisp and Functional Programming, ACM, July 1988.

Digital Library

[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 and Daniel P. Friedman. A closer look at export and import statements. Computer Languages, 11(1):29-37, 1986.

Digital Library

[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, and Craig Schaffert. Abstraction mechanisms in CLU. Communications of the ACM, 20(8):564-576, August 1977.

Digital Library

[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]

Jonathan Rees, William Clinger, et al. Revised$ report on the algorithmic language Scheme. A CM SIGPLAN Notices, 21(12), December 1986.

Digital Library

[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 Equipment Corporation (Digital Press), 1984.

Digital Library

[15]

United States Department of Defense. Ada Reference Manual. July 1980.

[16]

Mark Weiser, Alan Demers, and Carl Hauser. The Portable Common Runtime approach to interoperability. In Proceedings of the Twelfth A CM Symposium on Operating Systems Principles, pages 114-122, December 1989.

Digital Library

Cited By

Clinger WWand M(2020)Hygienic macro technologyProceedings of the ACM on Programming Languages10.1145/33863304:HOPL(1-110)Online publication date: 12-Jun-2020
https://dl.acm.org/doi/10.1145/3386330
Alam ISharif KLi FLatif ZKarim MBiswas SNour BWang Y(2020)A Survey of Network Virtualization Techniques for Internet of Things Using SDN and NFVACM Computing Surveys10.1145/337944453:2(1-40)Online publication date: 17-Apr-2020
https://dl.acm.org/doi/10.1145/3379444
Jacek NChiu MMarlin BMoss J(2019)Optimal Choice of When to Garbage CollectACM Transactions on Programming Languages and Systems10.1145/328243841:1(1-35)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.1145/3282438
Show More Cited By

Index Terms

A module system for scheme
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
      1. Syntax
    2. General programming languages
      1. Language features
        Modules / packages
      2. Language types

Recommendations

A true higher-order module system
A module system independent of base languages
MLPA '09: Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants

The ML module system facilitates modular programming and data abstraction using nested modules, higher-order functors, and abstract types. However, it is difficult to adapt to various base languages due to specific features required for supporting ...
A variability-aware module system
OOPSLA '12: Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Module systems enable a divide and conquer strategy to software development. To implement compile-time variability in software product lines, modules can be composed in different combinations. However, this way, variability dictates a dominant ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

LFP '90: Proceedings of the 1990 ACM conference on LISP and functional programming

May 1990

348 pages

ISBN:089791368X

DOI:10.1145/91556

Chairman:
Gilles Kahn

Copyright © 1990 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1990

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

LFP90

Sponsor:

LFP90: ACM Conference on Lisp and Functional Programming

June 27 - 29, 1990

Nice, France

Acceptance Rates

Overall Acceptance Rate 30 of 109 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

37
Total Citations
View Citations
414
Total Downloads

Downloads (Last 12 months)51
Downloads (Last 6 weeks)2

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Clinger WWand M(2020)Hygienic macro technologyProceedings of the ACM on Programming Languages10.1145/33863304:HOPL(1-110)Online publication date: 12-Jun-2020
https://dl.acm.org/doi/10.1145/3386330
Alam ISharif KLi FLatif ZKarim MBiswas SNour BWang Y(2020)A Survey of Network Virtualization Techniques for Internet of Things Using SDN and NFVACM Computing Surveys10.1145/337944453:2(1-40)Online publication date: 17-Apr-2020
https://dl.acm.org/doi/10.1145/3379444
Jacek NChiu MMarlin BMoss J(2019)Optimal Choice of When to Garbage CollectACM Transactions on Programming Languages and Systems10.1145/328243841:1(1-35)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.1145/3282438
Solovyev ABaranowski MBriggs IJacobsen CRakamarić ZGopalakrishnan G(2018)Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor ExpansionsACM Transactions on Programming Languages and Systems10.1145/323073341:1(1-39)Online publication date: 11-Dec-2018
https://dl.acm.org/doi/10.1145/3230733
Klassen NLyons MPrysiazny MRoth PSocha PBerzish MZaman ARayside D(2017)Manifold 2.0: A hardware description language for microfluidic devices2017 IEEE 30th Canadian Conference on Electrical and Computer Engineering (CCECE)10.1109/CCECE.2017.7946805(1-5)Online publication date: Apr-2017
https://doi.org/10.1109/CCECE.2017.7946805
Sangkloy PBurnell NHam CHays J(2016)The sketchy databaseACM Transactions on Graphics10.1145/2897824.292595435:4(1-12)Online publication date: 11-Jul-2016
https://dl.acm.org/doi/10.1145/2897824.2925954
de Goes FDesbrun MMeyer MDeRose T(2016)Subdivision exterior calculus for geometry processingACM Transactions on Graphics10.1145/2897824.292588035:4(1-11)Online publication date: 11-Jul-2016
https://dl.acm.org/doi/10.1145/2897824.2925880
Templin KDidyk PMyszkowski KSeidel H(2016)Emulating displays with continuously varying frame ratesACM Transactions on Graphics10.1145/2897824.292587935:4(1-11)Online publication date: 11-Jul-2016
https://dl.acm.org/doi/10.1145/2897824.2925879
Banavar GLindstrom G(2006)An application framework for module composition toolsECOOP ’96 — Object-Oriented Programming10.1007/BFb0053058(91-113)Online publication date: 21-May-2006
https://doi.org/10.1007/BFb0053058
Onose NSimeon JFeldman SUretsky MNajork MWills C(2004)XQuery at your web serviceProceedings of the 13th international conference on World Wide Web10.1145/988672.988754(603-611)Online publication date: 17-May-2004
https://dl.acm.org/doi/10.1145/988672.988754
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents