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.
|Title of host publication||Proceedings 3rd Scottish Functional Programming Workshop|
|Number of pages||12|
|Publication status||Published - 2001|