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

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

Let's logically follow up on *The Essence of Compiling with Continuations* with *The Logical Essence of Compiling with Continuations* by Santo and Mendes (https://arxiv.org/abs/2304.14752) 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

Share

SF Types, Theorems, and Programming Languages

The Logical Essence of Compiling with Continuations

SF Types, Theorems, and Programming Languages

Details

Members are also interested in