Australian Category Seminar
About AusCat
Recent talks
Past talks
CoACT
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