Extending the scope of syntactic abstraction

Oscar Waddell, R. Kent Dybvig
1999 Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99  
The benefits of module systems and lexically scoped syntactic abstraction (macro) facilities are well-established in the literature. This paper presents a system that seamlessly integrates modules and lexically scoped macros. The system is fully static, permits mutually recursive modules, and supports separate compilation. We show that more dynamic module facilities are easily implemented at the source level in the extended language supported by the system.
doi:10.1145/292540.292559 dblp:conf/popl/WaddellD99 fatcat:kr4h4a3ot5d43ja57zwxiwvaxa