[Haskell-cafe] IO is not a monad

Yitzchak Gale gale at sefer.org
Thu Jan 25 06:57:13 EST 2007

Scott Turner wrote:
> Paul B. Levy's studies of "call-by-push-value" model strictness/laziness using
> a category theoretic approach.

That sounds interesting. Do you have a reference for that?


More information about the Haskell-Cafe mailing list