Codata and Comonads in Haskell

Codata and Comonads in Haskell (1999)

by Richard B. Kieburtz

@MISC{Kieburtz99codataand,
    author = {Richard B. Kieburtz},
    title = {Codata and Comonads in Haskell},
    year = {1999}
}

this paper was supported by the USAF Materiel Command.

50	programming be liberated from the von Neumann style? A functional style and its algebra of programs - Can - 1978
1	Mongruences and cofree algebras - Jacobs