ICFP/SPLASH 2025 (series) / Scheme 2025 (series) /
Scheme 2025 Program
This is the Scheme 2025 program - see the full program for ICFP/SPLASH 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 16 OctDisplayed time zone: Perth change
Thu 16 Oct
Displayed time zone: Perth change
10:30 - 12:15 | Implementation, Application, and TypesScheme at Peony NW Chair(s): Paul Downen University of Massachusetts at Lowell | ||
10:30 5mDay opening | Welcome Scheme Youyou Cong Institute of Science Tokyo | ||
10:35 25mTalk | Stak Scheme: The tiny R7RS-small implementation Scheme Media Attached File Attached | ||
11:00 25mTalk | Gouki Scheme: An Embedded Scheme Implementation for Async Rust Scheme Matthew Plant OneChronos File Attached | ||
11:25 25mTalk | Automatic Invariant Testing for Finite-State Machines Scheme Marco Morazan pc, Sophia Turano Seton Hall University, Andrés M. Garced Seton Hall University, David Anthony K. Fields Seton Hall University | ||
11:50 20mTalk | Sound Default-Typed Scheme (Position Paper) Scheme Jan-Paul Ramos-Davila Boston University File Attached | ||
13:45 - 15:30 | Macros and Denotational SemanticsScheme at Peony NW Chair(s): Paulette Koronkevich University of British Columbia | ||
13:45 25mTalk | Rewriting Macros on the Fly: A Modular Approach to Administrative Reduction During Expansion Scheme Paul Downen University of Massachusetts at Lowell | ||
14:10 25mTalk | Fast and Extensible Hybrid Embeddings with Micros Scheme DOI Pre-print | ||
14:35 20mTalk | Hygienic Macros via Staged Environment Machines (Position Paper) Scheme Yuito Murase Kyoto University, Japan Pre-print | ||
14:55 25mTalk | Checking a Denotational Semantics of Scheme in Agda Scheme Peter D. Mosses Delft University of Technology; Swansea University DOI File Attached | ||
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 | ||