> From: [EMAIL PROTECTED] (Roman Garcia)
>
> I'm searching information on reasoning with monads.
> Has anybody made proofs with the IO monads?
> What kind of program transformation is possible with monads?
> Are there new ways to think about monad-based programs?
Paul Hudak and I have written a paper titled "Modular Denotational
Semantics for Compiler Construction" which will be presented at
ESOP'96. It addresses reasoning with monads, and provides some
answers to the last two of your questions. If interested, you can
obtain a preliminary draft version by anonymous ftp from
nebula.cs.yale.edu:/pub/yale-fp/papers/mod-sem-draft.ps.Z.
Sincerely,
Sheng Liang
<[EMAIL PROTECTED]>
