Why the banks collapsed and how a paper on Haskell can help stop it happening next time (paulspontifications.blogspot.com) 1 points by arockwell 17y ago ↗ HN
[–] giardini 17y ago ↗ A related paper by Nick Szabo: "A Formal Language for Analyzing Contracts" http://szabo.best.vwh.net/contractlanguage.htmlSzabo's various other related papers: http://szabo.best.vwh.net/index.html and his blog at http://unenumerated.blogspot.com/
1 comment
[ 2.8 ms ] story [ 15.2 ms ] threadSzabo's various other related papers: http://szabo.best.vwh.net/index.html and his blog at http://unenumerated.blogspot.com/