Signals and comonads (2005)

by T Uustalu, V Vene
Venue:Journ. of Universal Comp. Sci