SPLASH Workshop/Symposium Events 2025
2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2025)
Powered by
Conference Publishing Consulting

26th ACM SIGPLAN International Workshop on Scheme and Functional Programming (Scheme 2025), October 12–18, 2025, Singapore, Singapore

Scheme 2025 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Welcome from the Chairs
Scheme 2025 Organization

Invited Contributions

Scheme and New Frontiers for Language Design (Keynote)
Michael D. Adams
(National University of Singapore, Singapore)
Publisher's Version
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

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
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
Fast and Extensible Hybrid Embeddings with Micros
Sean Bocirnea and William J. Bowman
(University of British Columbia, Canada)
Publisher's Version
Hygienic Macros via Staged Environment Machines (Position Paper)
Yuito Murase
(Kyoto University, Japan)
Publisher's Version

proc time: 0.01