Coalgebraic update lenses
Ahman, Danel
;
Uustalu, Tarmo
Electronic notes in theoretical computer science
2014
/
p. 25-48 : ill
Decomposing comonad morphisms
Ahman, Danel
;
Uustalu, Tarmo
8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 2019
2019
/
art. 14 ; 20 p
https://doi.org/10.4230/LIPIcs.CALCO.2019.14
Conference proceeding at Scopus
Article at Scopus