DAML: The Contract Language of Distributed Ledger

By Shaul Kfir, Camille Fournier ACM

On blockchain distributed-ledgers we learned we need object capabilities.

> Still, from a legal standpoint, if one of these parties' systems happens to be down or unresponsive, you don't want to hold back the whole workflow, since the trade is legally binding and must be entered into the ledger. Maintaining liveness—while also making sure that, if something needs to go through, it goes through—is a different problem to solve. To deal with that, we essentially had to build a very fine-grained delegation model similar to the OCAP [object capability] model.

also, see

- Glasgow Haskell Compiler - Toward Robust Composition - Halting Problem - Miller's Taxonomy of Security Issues - DAML: A Haskell-Based for Blockchain page