Loading…
Back To Schedule
Saturday, September 26 • 8:00am - 9:00am
Marlowe Playground

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Tweet Share
Feedback form is now closed.
Video Stream


Marlowe makes writing smart contracts easier and less error-prone. The Marlowe Playground is an IDE that you can use from your browser to create, edit, simulate, and validate Marlowe smart-contracts.

In this presentation, we give a tour of the Marlowe Playground, we show how to use it to create and simulate a swap smart-contract, how to use static analysis to validate it, and other features.

We have made available a snapshot of the Marlowe Playground for the WyoHakathon 2020 that can be accessed in: https://wyohack.marlowe.iohkdev.io/
Speakers
avatar for Alex Nemish

Alex Nemish

Software Engineer, IOHK
Alexander Nemish joined IOHK in 2018 and works on Marlowe, the domain-specific language for financial smart contracts. Alexander is a big fan of functional programming, constructive mathematics, homotopy type theory, formally proven programs, meta programming, compilers, Scala, Haskell... Read More →
avatar for Dr. Pablo Lamela

Dr. Pablo Lamela

Research Fellow, IOHK
Pablo Lamela is a consultant researcher in programming languages and a developer. In the past, he has worked at the school of computing at the University of Kent, where he obtained his PhD. His research interests include web services, functional languages, formal verification, program... Read More →

slides pdf
Saturday September 26, 2020 8:00am - 9:00am MDT
Laramie Hall
  DevCon, Panel