When Is a Container a Comonad?

Danel Ahman, James Chapman, Tarmo Uustalu

Browse the full FOSSACS paper archive.