Fortifying macros

ACM SIGPLAN Notices

Volumn 45, Issue 9, 2010, Pages 235-246

  Culpepper, Ryan ^a,b   Felleisen, Matthias ^a  

^a NORTHEASTERN UNIVERSITY   (United States)

^b Department of Electrical and Computer Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT-SENSITIVE; LANGUAGE EXTENSIONS; LOW QUALITIES; MACRO SYSTEMS;

SPECIFICATIONS;

EID: 79551654282     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1932681.1863577     Document Type: Conference Paper

References (17)

1. Cadence Research Systems. Chez Scheme Reference Manual, 1994.
2. R. Culpepper and M. Felleisen. Taming macros. In International Conference on Generative Programming and Component Engineering, pages 225-243, 2004.
3. T. Despeyroux. Logical programming and error recovery. In Industrial Applications of Prolog, Oct. 1995.
4. R. K. Dybvig, R. Hieb, and C. Bruggeman. Syntactic abstraction in Scheme. Lisp and Symbolic Computation, 5(4):295-326, Dec. 1993.
5. F. L. Fessant and L. Maranget. Optimizing pattern matching. In International Conference on Functional Programming, pages 26-37, 2001.
6. R. B. Findler, J. Clements, C. Flanagan, M. Flatt, S. Krishnamurthi, P. Steckler, and M. Felleisen. DrScheme: A programming environment for Scheme. Journal of Functional Programming, 12(2):159-182, 2002.
7. M. Flatt and PLT. Reference: Racket. Technical report, PLT Inc., January 2010. http://racket-lang.org/tr1/.
8. B. Ford. Packrat parsing: a practical linear-time algorithm with backtracking. Master's thesis, Massachusetts Institute of Technology, Sept. 2002.
9. D. Herman and M. Wand. A theory of hygienic macros. In European Symposium on Programming, pages 48-62, Mar. 2008.
10. E. Hilsdale and D. P. Friedman. Writing macros in continuation-passing style. In Workshop on Scheme and Functional Programming, pages 53-59, 2000.
11. J. Hughes. The design of a pretty-printing library. In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text, pages 53-96, London, UK, 1995. Springer-Verlag.
12. E. E. Kohlbecker and M. Wand. Macro-by-example: Deriving syntactic transformations from their specifications. In Symposium on Principles of Programming Languages, pages 77-84, 1987.
13. P. J. Landin. Correspondence between ALGOL 60 and Church's lambdanotation: part i. Commun. ACM, 8(2):89-101, 1965.
14. S. Owens, M. Flatt, O. Shivers, and B. McMullan. Lexer and parser generators in Scheme. In Workshop on Scheme and Functional Programming, pages 41-52, Sept. 2004.
15. O. Shivers. The anatomy of a loop: a story of scope and control. In International Conference on Functional Programming, pages 2-14, 2005.
16. 6 report of the algorithmic language Scheme. Journal of Functional Programming, 19 (S1): 1-301, Aug. 2009.
17. M. Wand and D. Vaillancourt. Relating models of backtracking. In International Conference on Functional Programming, pages 54-65, 2004.