Notions of Stack-manipulating Computation and Relative Monads (Extended Version)

Yuchen Jiang, Runze Xue, Max S. New

Monads provide a simple and concise interface to user-defined computational effects in functional programming languages. This enables equational reasoning about effects, abstractio…