Macros that work together

DOI10.1017/S0956796812000093MaRDI QIDQ2844698zbMATHFDO

Authors Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler

Publication date 19 August 2013

Published in Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

Lisp-style macrosRacket macro system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2018590
• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• Fortifying macros
• Static analysis for syntax objects
• Fortifying macros

Cites work

• Building language towers with Ziggurat
• Revised\(^{6}\) report on the algorithmic language scheme
• Semantics engineering with PLT Redex

Cited in

(10)

• Type systems as macros
• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• On-the-Fly Macros
• scientific article; zbMATH DE number 2018590 (Why is no real title available?)
• Debugging hygienic macros
• Building language towers with Ziggurat
• Static analysis for syntax objects
• Fortifying macros
• A Theory of Hygienic Macros
• Fortifying macros

Describes a project that uses

Uses Software

• PLT Redex

This page was built for publication: Macros that work together

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844698)