The integral role of contract language in DLT interoperability
Daml ensures integrity and confidentiality within and across markets
During 2018 we published a series of blogs describing Daml, our modeling
Posts about Engineering (14):
Daml wins ‘Best Overall Solution’ at Barclays DerivHack London
Reflections from the winning team on Daml and the ISDA CDM
How much effort is required to become a Daml-Driven developer?
As it turns out, not much at all
Earlier entries in this Daml guest series have explored how seasoned finance industry veterans from GFT and
Smart contract code: when what you don’t write is as important as what you do
Daml simplifies development of DLT-based markets
Given a choice, most developers would prefer to use tools that allow them to complete a given task
How difficult is it to write correct smart contracts? Depends on your tools!
Formal method tools are key productivity aids for authoring correct smart contracts
In What properties must an enterprise smart contract language
Smart contract language: the real arbiter of truth?
Daml provides an immutable evidentiary audit trail of DLT contract execution
In this blog series, the value of evidentiary, or audit ‘trails’ that
Keeping smart contracts private is hard — unless you truly understand them
Daml helps preserve the confidentiality of sensitive DLT contractual information
Distributed Ledger Technology (DLT) promises to break down
“Trust but verify” is a valuable DLT model — does your language support it?
Daml enables reconciliation-free, post-commit DLT verification
In The only valid DLT contract is a voluntary one — easier said than done, Martin and