Extending the scope of syntactic abstraction

1 January 1999

conference paper
Published by Association for Computing Machinery (ACM)

p. 203-215
https://doi.org/10.1145/292540.292559

Abstract

The benefits of module systems and lexically scoped syntac- tic abstraction (macro) facilities are well-established in the literature. This paper presents a system that seamlessly in- tegrates modules and lexically scoped macros. The system is fully static, permits mutually recursive modules, and sup- ports separate compilation. We show that more dynamic module facilities are easily implemented at the source level in the extended language supported by the system.

Keywords

This publication has 11 references indexed in Scilit:

Modular object-oriented programming with units and mixins
Published by Association for Computing Machinery (ACM) ,1998
Revised ⁵ report on the algorithmic language scheme
ACM SIGPLAN Notices, 1998
Units
Published by Association for Computing Machinery (ACM) ,1998
Reliable interactive programming with modules
Higher-Order and Symbolic Computation, 1996
Talking about modules and delivery
Published by Association for Computing Machinery (ACM) ,1994
Syntactic abstraction in scheme
Higher-Order and Symbolic Computation, 1993
A module system for scheme
Published by Association for Computing Machinery (ACM) ,1990
Expansion-passing style: A general macro mechanism
Higher-Order and Symbolic Computation, 1988
Hygienic macro expansion
Published by Association for Computing Machinery (ACM) ,1986
Modules for standard ML
Published by Association for Computing Machinery (ACM) ,1984