ICFP/SPLASH 2025 (series) / Scheme 2025 (series) / Scheme 2025 /
Scheme and New Frontiers for Language Design
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 OctDisplayed time zone: Perth 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 20mTalk | Scheme Reports at Fifty: Where do we go from here?Remote Scheme | ||
16:20 10mTalk | 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 10mTalk | miniDusa: An Extensible Finite-Choice Logic Programming Language (Lightning Talk) Scheme File Attached | ||
16:40 50mKeynote | Scheme and New Frontiers for Language Design Scheme Michael D. Adams National University of Singapore |