[Haskell-cafe] formal methods & functional programming

Isaac Jones ijones at syntaxpolice.org
Sun Jan 15 01:19:53 EST 2006

Abigail <asho19 at yahoo.com> writes:

> Hi,
> I have been searching papers about tha raltionship
> between formal methods in software engineering and
> functinal programmming, but i haven't found enough
> information.

I don't think there are any papers, but Galois Connections employs
Haskell and formal methods such as proof checkers in our work.  You
might email for more information:




More information about the Haskell-Cafe mailing list