Absolutely! I am very interested by their approach in this area because integration with existing infrastructure is essential for practical work in this area, b

Absolutely! I am very interested by their approach in this area because integration with existing infrastructure is essential for practical work in this area, but reasoning about existing infrastructure is a lot harder than it needs to be. This is a relatively old presentation of theirs, but it has a decent overview of what they have used Haskell for. http://www.cse.chalmers.se/edu/year/2010/course/TDA555/Material/Guest1/magnus.pdf http://www.cse.chalmers.se/edu/year/2010/course/TDA555/Mater...