ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Thu 16 Oct 2025 16:40 - 17:30 at Peony NW - Report, Lightning Talks, and Keynote Chair(s): Youyou Cong, Olivier Danvy

Scheme has long served as a vibrant platform for exploring programming-language ideas and advancing programming-language concepts. From contracts to macros and from continuations to growing languages, it is a dynamic environment for reconceptualizing how we program.

In this keynote, I present several underexplored language-design directions that hold significant potential. Due to Scheme’s rich history and design, it is uniquely positioned to lead the development of these ideas. For example, supporting more sophisticated continuation structures and more expressive macro systems. These directions point to new frontiers where we can push the boundaries of how programs are structured and how we think about programming.

This program is tentative and subject to change.

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