Co)monads from inductive and coinductive types (2001)

by T Uustalu
Venue:in Proc. of 2001 APPIAGULP-PRODE Joint Conf. on Declarative Programming, AGP’01