The Logical Essence of Compiling with Continuations—The Sequel
Details
*** PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY ***
Our first assault on The Logical Essence of Compiling with Continuations by Santo and Mendes (https://arxiv.org/abs/2304.14752) did not result in victory, so let's charge once more unto the breach, dear friends! and then get together to discuss it.
We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.