"When Is a Container a Comonad?"

Danel Ahman, James Chapman, Tarmo Uustalu (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics