Filip Koprivec: Inheritance with subtyping in Solidity
Abstract: Technologies built using smart contracts are becoming increasingly more common. On of the most commonly used languages is Solidity programming language that targets EVM (etherium virtual machine). In this talk I will briefly introduce smart contracts, ideas behind them and general computing platform as well as specific constraints and quirks when dealing with smart contracts and blockchain. The rest of the talk will be focused on specific implementation of contract inheritance with respect to subtypes in Solidity that can be deemed strange and problems that arose from trying to fix it.