Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Macros that work together

From MaRDI portal
Publication:2844698
Jump to:navigation, search

DOI10.1017/S0956796812000093zbMATH Open1271.68077MaRDI QIDQ2844698FDOQ2844698


Authors: Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler Edit this on Wikidata


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 (6)

  • Title not available (Why is that?)
  • Debugging hygienic macros
  • Fortifying macros
  • On-the-Fly Macros
  • A Theory of Hygienic Macros
  • Building language towers with Ziggurat

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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2844698&oldid=15772446"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 3 February 2024, at 19:21. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki