Fortifying macros

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

Volumn , Issue , 2010, Pages 235-246

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

^a NORTHEASTERN UNIVERSITY   (United States)

^b University of Utah   (United States)

Author keywords

domain specific languages; macros

Indexed keywords

CONTEXT-SENSITIVE; DOMAIN SPECIFIC LANGUAGES; LANGUAGE EXTENSIONS; LOW QUALITIES; MACRO SYSTEMS;

PROBLEM ORIENTED LANGUAGES; SPECIFICATIONS;

FUNCTIONAL PROGRAMMING;

EID: 78249260009     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1863543.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.