Scheme 2026
2026-08-29
Indianapolis, United States
Scheme ·
[Scheme 2019, Scheme 2020, Scheme 2021, Scheme 2022, Scheme 2023, Scheme 2024, Scheme 2025, Scheme 2026]
who it's for
language designers, programming language researchers, compiler engineers, implementation engineers, Racket developers, educators in computer science, functional programmers
topics
macro system with syntax-case; syntax parameters and identifier properties; multidimensional arrays replacing s-expressions; NumPy-style broadcasting; array slicing and per-dimension ops; translation of regions to continuation marks; region-polymorphic closure reclamation; RRB-style tree lists; call-by-push-value Scheme; classroom-scale JIT with first-call specialization
| title | author | length |
|---|---|---|
| Using the Design Recipe in Theory of Computation | Martin Scheele, Stephen Chang | 35m |
Adapts the Design Recipe from How to Design Programs to teach inductive proofs by deriving proof templates directly from recursive data definitions (regular… | ||
| The R7RS-Large Roadmap (Invited Talk) | Peter McGoron | 31m |
Roadmap specifies a three-volume split: Foundations, Batteries, Environments with Foundations split into seven fascicles; immediate deliverables include a… | ||
| An Array-Oriented Language via the Design Recipe | Martin Scheele, Stephen Chang | 25m |
Argues that replacing S‑expressions with multidimensional arrays as an intertwined data example keeps HtDP’s design‑recipe structure while giving real‑world… | ||
| Regions as Continuation Marks | Paulette Koronkevich, William J. Bowman | 27m |
Presents a concrete translation from regions into continuation marks and an interpreter that maps let-region to with-continuation-mark and region allocations… | ||
| Rhombus: The Non-shrubbery Parts (Keynote) | Matthew Flatt | 56m |
Rhombus implements Racket macros plus a new set of binding and repetition protocols, delivering pervasive pattern matching in every binding position… | ||
| A Call-by-push-value Scheme | Max S. New | 29m |
Prototype Fiddle implements a call-by-push-value variant of Scheme and compiles as a Racket embedded language using the turnstile library; it makes application… | ||
| An Incremental Approach to JIT Construction | Shaurya Raswan, Mark Barbone, Nico Lehmann, Joe Gibbs Politz | 30m |
This work builds a classroom-scale JIT that runs in-process using Rust and DynAsm and contrasts it with a NASM/AOT pipeline, implements a growing language up… | ||
| nothing matches | ||