Work

Hygienic Macros via Staged Environment Machines (Position Paper)

Year: 2025

Type: conference-paper

Abstract: The relationship between staged computation and procedural macros is often mentioned in the literature. However, this relationship is not as straightforward as it may appear. Existing approaches tend to compromise the role of macros as syntactic extensions, focusing primarily on staged type systems to enforce the static safety of macros.

DOI: 10.1145/3759537.3762695

Author: Yuito Murase

Institution: Kyoto University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

Funder: Japan Society for the Promotion of Science

Award: Type-Theoretic Foundation of Safe and Powerful Procedural Macros

OpenAlex ID: W4415008834

FWCI:

Cites: 23

Cited by:

Related to: