Philip Wadler - Plutus and Marlowe
Curry On! · 45:31
Phil Wadler (University of Edinburgh, and a consultant for IOHK) argues that cryptocurrency is unusually well suited to programming-language and formal-verification research. Bugs cost real money, which gives companie...