Jack Pettersson
1 talk by Jack Pettersson
Towards safer languages for smart contracts