[Haskell-cafe] Re: strict Haskell dialect

[Johan Bockgård]

John Meacham <john at repetae.net> writes:

> there are actually several ways to implement IO. There is a paper
> about it somewhere that explores various methods, but I can't seem
> to find it, does anyone know which one i am thinking of? I know it
> at least explores the state and continuation versions as well as
> some that don't use monads I thought. It was either part of a
> general paper on monads or something specific to doing IO...

This one?

http://research.microsoft.com/~simonpj/Papers/imperative.ps.Z