Rematch: Notions of Stack-manipulating Computation and Relative Monads

Hosted By
Adrian K.

Details
*** PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY ***
Let's reread Jiang et al.'s *Notions of Stack-manipulating Computation and Relative Monads (https://arxiv.org/abs/2502.15031*), then get together to discuss it.
We might also want to refer to:
We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.

SF Types, Theorems, and Programming Languages
See more events
Rematch: Notions of Stack-manipulating Computation and Relative Monads