Skip to content

Notions of Stack-manipulating Computation and Relative Monads

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

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.

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