Scheme 2025 – Proceedings

26th ACM SIGPLAN International Workshop on Scheme and Functional Programming (Scheme 2025)

Frontmatter

Invited Contributions

Scheme and New Frontiers for Language Design (Keynote)
Michael D. Adams
(National University of Singapore, Singapore)

Publisher's Version Article: splashws25schememain-key1-p doi:10.1145/3759537.3771265

Scheme Reports at Fifty: Where Do We Go from Here? (Status Update from the R7RS Large Committee)
Daphne Preston-Kendal
(Scheme Working Groups, Germany)

Publisher's Version Article: splashws25schememain-inv1-p doi:10.1145/3759537.3771266

Papers

Checking a Denotational Semantics of Scheme in Agda
Peter D. Mosses
(Delft University of Technology, Netherlands; Swansea University, UK)

Publisher's Version Published Artifact Artifacts Available Article: splashws25schememain-p10-p doi:10.1145/3759537.3762694

Rewriting Macros on the Fly: A Modular Approach to Administrative Reduction during Expansion
Paul Downen
(University of Massachusetts at Lowell, USA)

Publisher's Version Info Article: splashws25schememain-p4-p doi:10.1145/3759537.3762693

Fast and Extensible Hybrid Embeddings with Micros
Sean Bocirnea and William J. Bowman
(University of British Columbia, Canada)

Publisher's Version Article: splashws25schememain-p12-p doi:10.1145/3759537.3762696

Hygienic Macros via Staged Environment Machines (Position Paper)
Yuito Murase
(Kyoto University, Japan)

Publisher's Version Article: splashws25schememain-p11-p doi:10.1145/3759537.3762695

proc time: 0.01