Macros that work together

DOI10.1017/S0956796812000093zbMATH Open1271.68077MaRDI QIDQ2844698FDOQ2844698

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)

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

zbMATH Keywords

Lisp-style macrosRacket macro system

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

• Title not available (Why is that?)
• Static analysis for syntax objects
• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• Debugging hygienic macros
• Fortifying macros
• Fortifying macros
• On-the-Fly Macros
• A Theory of Hygienic Macros
• Building language towers with Ziggurat
• Type systems as macros

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)