Simon Thompson - Marlowe: financial contracts on Blockchain | Code Mesh LDN 19

Conference: Code Mesh LDN 2019

Year: 2019

This video was recorded at Code Mesh LDN 19 - http://bit.ly/37xc3Nr Get involved in Code Sync's next conference - http://bit.ly/2Mcm4aS --- MARLOWE: FINANCIAL CONTRACTS ON BLOCKCHAIN by Simon Thompson THIS TALK IN THREE WORDS: Blockchain Functional DSL TALK LEVEL: Beginner ABSTRACT 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. Slides & full abstract: https://codesync.global/speaker/simon-thompson/ --- THE SPEAKER - SIMON THOMPSON Longtime functional programmer, author and researcher Simon Thompson is a researcher, author and teacher, and professor of logic and computation at the University of Kent. His research into functional programming covers verification, tool-building and testing for Erlang, Haskell and OCaml. He is the author of books on type theory, Haskell and Erlang, and runs a Mooc about Erlang for FutureLearn. He works with IOHK on domain-specific languages for Cardano. More on Simon Thompson: https://codesync.global/speaker/simon-thompson/ --- CODE SYNC & CODE MESH LDN 19 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 19 was sponsored by WhatsApp, Microsoft, Erlang Solutions, Juxt, aeternity, Duffel, and IOHK. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #Blockchain #FinancialContracts