Scheme 2024
2024-09-07
Milan, Italy
Scheme ·
[Scheme 2019, Scheme 2020, Scheme 2021, Scheme 2022, Scheme 2023, Scheme 2024, Scheme 2025, Scheme 2026]
who it's for
language teachers, scheme implementers, programming language researchers, functional programmers, tooling and IDE developers, WebAssembly compiler engineers
topics
teaching-language families; syntax-spec error tooling; substitutional visual stepper; notional machine control and stash; CPS conversion to C; defunctionalization of continuations; Nock and Nocko implementations; miniKanren relational encoding; Rosette symbolic execution; Guile to WebAssembly compilation; WebAssembly GC and tail calls; CPS-soup IR and tree shaking
| title | author | length |
|---|---|---|
| Challenges in the Design and Implementation of Teaching Languages for EDSLs | Jason Hemann | 01h 01m |
Examines concrete failures and prototypes: why shallow EDSLs (examples: miniKanren, Mimi in R) give students opaque stack traces, infinite loops, and… | ||
| Tutorial on Program Transformations | Jason Hemann | 01h 28m |
Step-by-step recipe that turns a small Scheme interpreter into C: the session shows exact transforms — CPS conversion, lifting and replacing higher-order… | ||
| Nocksche and Nocko | James Torre | 27m |
Two novel implementations demonstrate concrete choices and consequences: Nocksche in Racket and Nocko in miniKanren implement the full Nock rules, encode SKI… | ||
| Beyond SICP - Design and Implementation of a Notional Machine for Scheme | Kyriel Abad, Martin Henz | 32m |
Extends the SICP environment model into a concrete notional machine for a defined "SICP Scheme" sublanguage, implemented as a web tool in Source Academy that… | ||
| A Teaching Language for Specification | Cameron Moy | 30m |
A compact teaching language called LSL (Logical Student Language) builds on ISL so students spend little time on syntax and much time on real specification… | ||
| An Implementation of a Visual Stepper in the GRASP Programming System | Panicz Godek | 23m |
A working GRASP S‑expression editor now links to an evaluator, rewritten from Java into Cava Scheme and running on Android, desktop and terminal. It adds… | ||
| Scheme on WebAssembly: It is happening! | Andy Wingo | 57m |
Hoot compiles Guile Scheme to WebAssembly using the new WebAssembly GC and tail calls and produces single whole‑program binaries (typically 100 KB–1 MB). The… | ||
| nothing matches | ||