Functional programming languages for verification tools: experiences with ML and Haskell
Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber · 2001
We compare Haskell with ML as programming languages for verification tools, based on our experience developing TRUTH in Haskell and the Edinburgh Concurrency Workbench (CWB) in ML. We discuss not only technical language features but also the "worlds" of the languages, for example, the availability of tools and libraries.