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

By | May 20, 2018


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 *