Marlowe: financial contracts on Blockchain

Marlowe is a high-level, domain-specific language (DSL) for writing financial contracts on blockchain. Marlowe is defined by an executable semantics in Haskell, and has been implemented on the UTxO-based Cardano blockchain.

This talk will introduce Marlowe and describe its semantics, implementation and tooling as well as give examples, including some from the ACTUS financial standard. It will also address Marlowe as a Haskell DSL, and describe the choices made in designing and revising the language.

THIS TALK IN THREE WORDS

Blockchain

Functional

DSL

OBJECTIVES

To describe the design - and design tradeoffs - in building a functional DSL to work on blockchain to describe and enforce a wide class of functional contracts.

TARGET AUDIENCE

Programmers interested in DSL design, and others interested in financial smart contracts on blockchain,