V.: Attribute evaluation is comonadic (2007)

by T Uustalu, Vene
Venue:Trends in Functional Programming 6