Name: The Logical Essence of Compiling with Continuations—The Sequel
Start: 2025-11-23T12:00:00-08:00
End: 2025-11-23T14:00:00-08:00

\*\*\* 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.

Adrian King

SF Types, Theorems, and Programming Languages

Technology

New Technology

Software Engineering

Computer Programming

Programming Languages

Functional Programming

Mathematics

Software QA and Testing

Test Automation

The Logical Essence of Compiling with Continuations—The Sequel

Share

SF Types, Theorems, and Programming Languages

The Logical Essence of Compiling with Continuations—The Sequel

SF Types, Theorems, and Programming Languages

Details

Members are also interested in