15 Feb
2006
15 Feb
'06
10:58 a.m.
John Meacham
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