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..
Strong s
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