[Scheme24] Tutorial on Program Transformations

Tutorial on Program Transformations (Video, Scheme 2024)
Jason Hemann
(Seton Hall University)
Abstract: I will reprise the tutorial/workshop that Nada Amin and I taught at Lambda Jam and Recurse Center in 2013, which in turn is based on exercises from Dan Friedman’s famous programming languages course at Indiana University.
I will guide you in writing your own Scheme-to-C translator by demystifying the program transformations that make a higher-order functional program run on a spartan host. You’ll learn about continuation-passing style, representation independence, registerization, and trampolining. After illustrating the program transformations step-by-step on some Scheme programs, I will challenge you to automate the steps!
Presentation at the Scheme 2024 workshop, Sept 7, 2024, icfp24.sigplan...
Sponsored by ACM SIGPLAN,