Australian Category Seminar

The dependently typed update monad

Richard Garnerยท17 June 2020

We explain Ahman and Uustalu's dependently typed update monad, give an imperfect algebraic presentation, and describe its comodels.

Back