ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Thu 16 Oct 2025 13:45 - 14:10 at Peony NW - Macros and Denotational Semantics Chair(s): Paulette Koronkevich

Administrative reductions are extra steps introduced by program transformations, usually as a form of bookkeeping new information needed by the transformation. While this can keep transformations themselves simple and small, they have the unfortunate effect of making the programs they produce more costly in terms of run-time resources and—worse still—cognitive resources used by humans trying to read and debug their code. This paper introduces a general-purpose technique for eliminating administrative expressions in macros using localized rewriting rules. The result is a system of writing and rewriting compositional macros (both in the sense that the macros are defined as compositional functions, and that several different macros can be combined without administrative reductions) that can be extended by the programmer with new functionality.

Thu 16 Oct

Displayed time zone: Perth change

13:45 - 15:30
Macros and Denotational SemanticsScheme at Peony NW
Chair(s): Paulette Koronkevich University of British Columbia
13:45
25m
Talk
Rewriting Macros on the Fly: A Modular Approach to Administrative Reduction During Expansion
Scheme
Paul Downen University of Massachusetts at Lowell
14:10
25m
Talk
Fast and Extensible Hybrid Embeddings with Micros
Scheme
Sean Bocirnea University of British Columbia, William J. Bowman University of British Columbia
DOI Pre-print
14:35
20m
Talk
Hygienic Macros via Staged Environment Machines (Position Paper)
Scheme
Yuito Murase Kyoto University, Japan
Pre-print
14:55
25m
Talk
Checking a Denotational Semantics of Scheme in Agda
Scheme
Peter D. Mosses Delft University of Technology; Swansea University
DOI File Attached