Plutus and Marlowe are two smart contract languages being developed by IOHK for Cardano. Plutus is a library built on top of Haskell. Unique among smart contract languages, Plutus uses metaprogramming to integrate off-chain and on-chain code. On-chain code compiles to Plutus Core, based on System F-omega, an unusual application of theory to practice. Marlowe is a domain-specific language, based on the financial contracts work of Peyton Jones, Eberd, and Seward. You can try Plutus and Marlowe on the web:
Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh. He is an ACM Fellow and a Fellow of the Royal Society of Edinburgh, past chair of ACM SIGPLAN, past holder of a Royal Society-Wolfson Research Merit Fellowship, winner of the SIGPLAN Distinguished Service Award, and a winner of the POPL Most Influential Paper Award. Previously, he worked or studied at Stanford, Xerox Parc, CMU, Oxford, Chalmers, Glasgow, Bell Labs, and Avaya Labs, and visited as a guest professor in Copenhagen, Sydney, and Paris. He has an h-index of 60, with more than 20,000 citations to his work according to Google Scholar. He contributed to the designs of Haskell, Java, and XQuery, and is a co-author of Introduction to Functional Programming (Prentice Hall, 1988), XQuery from the Experts (Addison Wesley, 2004) and Generics and Collections in Java (O’Reilly, 2006). He has delivered invited talks in locations ranging from Aizu to Zurich.