3 ms·Notions of Stack-Manipulating Computation and Relative Monads (Extended Version)2 points by matt_d 2y ago