DEVCON1: Towards safer languages for smart contracts – Jack Pettersson, Robert Edström

Blockchains.Technology http://youtu.be/H2uwUdzVD9I http://youtu.be/H2uwUdzVD9I

DEVCON1 5.20pm Day 1 Jack Pettersson and Robert Edström present Chalmers University of Technology, Sweden present on a dependantly typed functional …

Leave a Reply

Your email address will not be published. Required fields are marked *