Notions of Stack-manipulating Computation and Relative Monads

Hosted By
Adrian K.

Details
Let's read 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'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
Notions of Stack-manipulating Computation and Relative Monads
FREE