Skip to content

Rematch: Notions of Stack-manipulating Computation and Relative Monads

Photo of Adrian King
Hosted By
Adrian K.
Rematch: Notions of Stack-manipulating Computation and Relative Monads

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.

Photo of SF Types, Theorems, and Programming Languages group
SF Types, Theorems, and Programming Languages
See more events