IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain.

Theodoros Kasampalis, Dwight Guth, Brandon M. Moore, Traian-Florin Serbanuta, Yi Zhang, Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson, Grigore Rosu

Browse the full FM paper archive.