Upwards accumulations and comonad structure : (abstract)
Uustalu, Tarmo
;
Vene, Varmo
14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts
2002
/
p. 95-96