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 (type: Keynote) 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 (type: Invited Talk Abstract) 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 (type: Full Paper) doi:10.1145/3759537.3762694

	Scheme25-Agda Code Listing: This document provides a highlighted listing of a shallow Agda embedding of a denotational semantics of primitive Scheme expressions and selected procedures. For explanatory comments, see §3 of the accompanying paper; most of the comments are included also in a literate version of the Agda embedding, listed in an ...
	Scheme25-Agda Literate Code Listing: This document provides a highlighted listing of a shallow Agda embedding of a denotational semantics of primitive Scheme expressions and selected procedures. For explanatory comments, see §3 of the accompanying paper; most of the comments are included also in this literate version of the Agda embedding. An ...
	Shallow {Agda} embedding of denotational semantics in article `Checking a denotational semantics of {Scheme} in {Agda}' (doi:10.1145/3747410): Several standards for the Scheme programming language include a denotational semantics of primitive expressions and selected procedures. This artifact gives a shallow embedding into Agda of the denotational semantics from the 5th Revised Report (R5RS). Type-checking the Agda embedding of a semantics indirectly tests ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper (position paper: 2-4 pages + references or optional appendices)) doi:10.1145/3759537.3762695

proc time: 0.01