A domain-specific smart contract programming language for modeling, automating, and enforcing multi-party agreements. DAML contracts can run on multiple DLT/blockchain platforms.