Hi Romain, are you aware of Haskabelle [1], a Haskell to Isabelle/HOL converter? I've never used or investigated it.
> On 25.10.2010, at 10:09, Romain Demeyer wrote: > >> Hello, >> >> I'm working on static verification in Haskell, and I search for existing >> works on specification of Haskell programs (such as pre/post conditions, for >> example) or any other functional language. It would be great if there exists >> a prover based on this kind of specifications. I already found the >> ESC/Haskell. Do you know some other works which could be interesting? >> >> Thanks, > -- Jean [1] http://isabelle.in.tum.de/haskabelle.html _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell