[Haskell-cafe] Why purely in haskell?

Graham Fawcett graham.fawcett at gmail.com
Wed Jan 9 19:46:53 EST 2008

On Jan 9, 2008 6:20 PM, Don Stewart <dons at galois.com> wrote:
> anton:
> > Oh dear - I'm going to have to rethink the paper I was working on,
> > provisionally titled "In defense of arbitrary untracked effects in high
> > assurance software."  ;)
> That would be an awesome paper :)

Hear, hear!

Anton, if you're looking for a co-author, and you're willing to tackle
the high-assurance parts, I have years of experience with arbitrary
untracked effects. ;-)


More information about the Haskell-Cafe mailing list