Greg Michaelson writes:
<cut>
> No one has yet confessed to using Haskell for such degenerate purposes...
See:
Howard S. Goodman "Animating Z specifications in Haskell using a
monad" , Technical report CSR-93-10, School of Computer Science,
University of Birmingham, Birmingham, England, B15 2TT, Aug 93
Howard S. Goodman "The Z-into-Haskell tool-kit" , Technical report
CSR-95-1, School of Computer Science, University of Birmingham,
Birmingham, England, B15 2TT, April 1995. bibtex, html abstract,
postscript paper
and much more, available <A
HREF="http://ericgill.mdx.ac.uk/~howard/research/publications.html">
here </A>
Jon
