Romain, 2010/10/25 Romain Demeyer <[email protected]>: > 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?
I found the paper "Verifying Haskell using constructive type theory" [1] interesting... Dominique Footnotes: [1] http://www.mimuw.edu.pl/~ben/Papers/monadic.pdf _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
