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 AugDisplayed time zone: Eastern Time (US & Canada) change
Sat 29 Aug
Displayed time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | |||
11:00 30mTalk | A Call-by-push-value Scheme Scheme Max S. New University of Michigan | ||
11:30 30mTalk | Regions as Continuation Marks Scheme Paulette Koronkevich University of British Columbia, William J. Bowman University of British Columbia DOI | ||
12:00 30mTalk | 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 | ||