2 ms·
After a while it's pretty easy to see past the boilerplate. Has anyone ever made the analogy literal by creating a language that 1) describes contracts (like th
by byrneseyeview 18y ago
After a while it's pretty easy to see past the boilerplate. Has anyone ever made the analogy literal by creating a language that 1) describes contracts (like this: http://szabo.best.vwh.net/contractlanguage.html http://szabo.best.vwh.net/contractlanguage.html), and 2) a compiler that turns it into something you could upload to the SEC, print and sign, or whatever?
- briansmith 18y agoThis is done for contracts between insurance companies and hospitals all the time. There are also contract compilers and DSLs for financial instruments.