Safer smart contracts through type-driven development in #Idris: “We show how dependent and polymorphic types can make smart contract development safer. This is demonstrated by using the functional language Idris to describe smart contracts on the #Ethereum platform.” #formal-methods #pdf