Why the banks collapsed and how a paper on Haskell can help stop it happening next time(paulspontifications.blogspot.com)

1 pointsby arockwell18 yıl önce1 comments

http://paulspontifications.blogspot.com/2008/09/why-banks-collapsed-and-how-paper-on.html

1 comments

giardini18 yıl önce

A related paper by Nick Szabo: "A Formal Language for Analyzing Contracts" http://szabo.best.vwh.net/contractlanguage.html

Szabo's various other related papers: http://szabo.best.vwh.net/index.html and his blog at http://unenumerated.blogspot.com/