Title IELE: a rigorously designed language and tool ecosystem for the blockchain
Authors Kasampalis, Theodoros and Guth, Dwight and Moore, Brandon and Șerb{\u{a}}nuț{\u{a}}, Traian Florin and Zhang, Yi and Filaretti, Daniele and Șerb{\u{a}}nuț{\u{a}}, Virgil and Johnson, Ralph and Ro{\c{s}}u, Grigore
Year 2019





Videos