Philogy1 talk by PhilogyHow Type-Driven Development Can Turbocharge your Contract's Security - philogy