CPS optimizations

*** PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY ***

We've been reading Morrisett and Walker's From System F to Typed Assembly Language (https://dl.acm.org/doi/10.1145/319301.319345) and now we've become curious about how the CPS optimizations they mention in Section 4.1 (eliminating administrative redices and optimizing tail recursion) actually work. So this is a placeholder until we can find a suitable reference on these topics.

We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.