[Haskell-cafe] Re: State of OOP in Haskell

Benjamin Franksen benjamin.franksen at bessy.de
Thu Feb 8 16:12:16 EST 2007

szefirov at ot.ru wrote:
> Here are two surveys (somewhat outdated) on the use of formal methods in
> industry:
> http://citeseer.ifi.unizh.ch/39426.html
> http://citeseer.ifi.unizh.ch/craigen93international.html

Both of these links are dead. Could you post author and title?


More information about the Haskell-Cafe mailing list