ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Thu 16 Oct 2025 16:00 - 16:20 at Peony NW - Report, Lightning Talks, and Keynote Chair(s): Youyou Cong, Olivier Danvy

On 22 December 2025, Scheme will celebrate its 50th birthday with the anniversary of the publication of the first Scheme report. As chair of the current Scheme reports working group, I have the daunting task of laying a foundation for the Scheme language to successfully move onwards into its next fifty years.

The recent development of this series of reports has been marked by an acrimonious split over R6RS vs R7RS small, followed by the prolonged and still ongoing gestation of the R7RS large report. The Scheme language itself survived these battles: new Schemers are still discovering the language; new projects in Scheme are still pushing forward the cutting edge of computer science and engineering practice; the landscape of implementations is as lively as ever. But the Scheme reports find themselves in new surroundings, one into which R7RS large has to adapt itself.

What function does the Scheme report serve for the community now? What does the community want to see in the Scheme report, and how do we continue to reconcile diverging visions for the future of the language? How do we build a working group that represents the diversity of opinions on the nature of Scheme and the best direction for its future? This presentation will be an invitation to discuss these questions and more, as well as an invitation to Schemers of all generations to join us in building R7RS large as a good home for all Schemers to live in.

Thu 16 Oct

Displayed time zone: Perth change

16:00 - 17:30
Report, Lightning Talks, and KeynoteScheme at Peony NW
Chair(s): Youyou Cong Institute of Science Tokyo, Olivier Danvy Yale-NUS College and School of Computing, Singapore
16:00
20m
Talk
Scheme Reports at Fifty: Where do we go from here?Remote
Scheme
16:20
10m
Talk
Brack: A Verified Compiler for Scheme via CakeML (Lightning Talk)
Scheme
Pascal Lasnier University of Cambridge, Jeremy Yallop University of Cambridge, Magnus O. Myreen Chalmers University of Technology
File Attached
16:30
10m
Talk
miniDusa: An Extensible Finite-Choice Logic Programming Language (Lightning Talk)
Scheme
Ari Prakash Northeastern University, Zachary Eisbach Northeastern University
File Attached
16:40
50m
Keynote
Scheme and New Frontiers for Language Design
Scheme
Michael D. Adams National University of Singapore