Sat 29 Aug 2026 11:00 - 11:30 at IP132 Kelley - Morning Session 2

Scheme is known for its minimalism: what would be core language features in other languages are instead implemented as macros over a small core. In its most Spartan formulation all compound data arises from the humble cons. Inspired by Levy’s Call-by-push-value, we propose a variant of Scheme that applies that same minimalism to multi-argument functions. That is, rather than having both lambda and lambda dot args, we have a single primitive for checking whether there are any more arguments on the stack. In this view, function application is interpreted as a “cons on the stack”. We provide an experimental implementation called Fiddle implemented in Racket, and we discuss other possible applications of this dual viewpoint.

Sat 29 Aug

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Morning Session 2Scheme at IP132 Kelley
11:00
30m
Talk
A Call-by-push-value Scheme
Scheme
Max S. New University of Michigan
11:30
30m
Talk
Regions as Continuation Marks
Scheme
Paulette Koronkevich University of British Columbia, William J. Bowman University of British Columbia
DOI
12:00
30m
Talk
An Incremental Approach to JIT Construction
Scheme
Shaurya Raswan University of California at San Diego, USA, Mark Barbone University of California at San Diego, Nico Lehmann University of Chile, Joe Gibbs Politz UC San Diego
DOI