[Haskell-cafe] software correctness ... can we in FPL step up to the plate??

Galchin, Vasili vigalchin at gmail.com
Wed Jan 14 23:49:24 EST 2009


http://www.businessweek.com/the_thread/techbeat/archives/2009/01/nsa_dhs_industr.html?link_position=link3
...

I think that http://www.galois.com is already doing as stated in the
article/ ...... I sincerely think there is a segway for Haskell here with
strong and static type
checking..

??

Vasili
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090114/ddf18f94/attachment.htm


More information about the Haskell-Cafe mailing list