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


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

Recent Articles


Related Stories

Leave A Reply

Please enter your comment!
Please enter your name here

Stay on op - Ge the daily news in your inbox