Distributed ledgers need more than traditional application design patterns

The role of language in…

Keeping smart contracts private is hard — unless you truly understand them

DAML helps preserve the…

What properties must an enterprise smart contract language have?

When it comes to DLT contract languages you must choose, but choose wisely

The only valid smart contract is a voluntary one — easier said than done

DAML models, tracks, and enforces smart contract rights and obligations

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

Smart contract language: the real arbiter of truth?

DAML provides an immutable evidentiary audit trail…

“Trust but verify” is a valuable DLT model — does your language support it?

DAML enables reconciliation-free, post-commit DLT verification

How much effort is required to become a DAML-Driven developer?

As it turns out, not much at all

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…