Composable and compilable macros - You want it when?

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2002, Pages 72-83

  Flatt, Matthew ^a  

^a UNIVERSITY OF UTAH   (United States)

Author keywords

Language tower; Macros; Modules

Indexed keywords

CODES (SYMBOLS); INTEROPERABILITY; LISP (PROGRAMMING LANGUAGE); NETWORK PROTOCOLS; PROGRAM COMPILERS; TIME SHARING PROGRAMS;

COMPILABLE MACROS; COMPILE TIME VALUES; COMPOSABLE MACROS; RUN TIME VALUES;

MACROS;

EID: 0036948861     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. J. Baker and W. C. Hsieh. Maya: Multiple-dispatch syntax extension in Java. In Proc. ACM Conference on Programming Language Design and Implementation, pages 270-281, June 2002.
2. A. Bawden and J. Rees. Syntactic closures. In Proc. ACM Conference on Lisp and Functional Programming, pages 86-95, July 1988.
3. H. Bromley. Lisp Lore: A Guide to Programming the Lisp Machine Kluwer Academic Publishers, 1986.
4. W. Clinger and J. Rees. Macros that work. In Proc. ACM Symposium on Principles of Programming Languages, pages 155-162, Jan. 1991.
5. P. Curtis and J. Rauen. A module system for Scheme. In Proc. ACM Conference on Lisp and Functional Programming, pages 13-28, 1990.
6. R. Davies and F. Pfenning. A modal analysis of staged computation. In Proc. ACM Symposium on Principles of Programming Languages, pages 258-270, Jan. 1996.
7. R. K. Dybvig. Chez Scheme User's Guide. Cadence Research Systems, 1998.
8. R. K. Dybvig, R. Hieb, and C. Bruggeman. Syntactic abstraction in Scheme. Lisp and Symbolic Computation, 5(4):295-326, 1993.
9. M. Flatt and M. Felleisen. Units: Cool modules for HOT languages. In Proc. ACM Conference on Programming Language Design and Implementation, pages 236-248, June 1998.
10. D. P. Friedman, M. Wand, C. P. Haynes. Essentials of Programming Languages. The MIT Press, Cambridge, Massachusetts, 2001.
11. S. Ganz, A. Sabry, and W. Taha. Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML. In Proc. ACM International Conference on Functional Programming, pages 74-85, Sept. 2001.
12. T. P. Hart and T. G. Evans. Notes on implementing lisp for the m-460 computer. In E. C. Berkeley and D. G. Bowbrow, editors, The Programming language LISP: Its Operation and Applications, MIT Press, pages 191-203. MIT Press, 1964.
13. R. Kelsey. SRFI 19: Defining record types, 1999. http://srfi.schemers.org/srfi-9/.
14. 5 report on the algorithmic language Scheme. ACM SIGPLAN Notices, 33(9), Sept. 1998.
15. E. Kohlbecker, D. P. Friedman, M. Felleisen, and B. Duba. Hygienic macro expansion. In Proc. ACM Conference on Lisp and Functional Programming, pages 151-181, Aug. 1986.
16. E. Moggi, W. Taha, Z. El-Abidine Benaissa, and T. Sheard. An idealized MetaML: Simpler, and more expressive. In Proc. European Symposium on Programming, Volume 1576 of Lecture Notes in Computer Science, pages 193-207. Springer-Verlag, Apr. 1999.
17. D. A. Moon. MACLISP Reference Manual. MIT Press, 1974.
18. M. Poletto, W. C. Hsieh, D. R. Engler, and M. F. Kaashoek. 'C nd tcc: a language and compiler for dynamic code generation. ACM Transactions on Computing Systems, 21(2):324-369, Mar. 1999.
19. C. Queinnec. Macroexpansion reflective tower. In Proc. Reflections Conference, pages 93-194, Apr. 1996.
20. J. Rees. Another module system for Scheme, 1994. Scheme48 documentation.
21. M. Serrano. Bigloo: A "practical Scheme compiler", 2002.
22. A. Shalit. The Dylan Reference Manual. Addison-Wesley, 1996.
23. G. L. Steele Jr. Common Lisp: The Language. Digital Press, second edition, 1990.
24. G. L. Steele, Jr. and G. J. Sussman. The revised report on SCHEME: A dialect of LISP. Technical Report 452, MIT, Jan. 1978.
25. O. Waddell and R. K. Dybvig. Extending the scope of syntactic abstraction. In Proc. ACM Symposium on Principles of Programming Languages, pages 203-213, Jan. 1999.
26. D. Weise and R. F. Crew. Programming syntax macros. In Proc. ACM Conference on Programming Language Design and Implementation, pages 156-165, June 1993.
27. A. K. Wright. Pattern Matching for Scheme, Mar. 1996.