Coinresear.ch
About Papers [1093] Stats Tags

Scilla: a Smart Contract Intermediate-Level LAnguage

Title Scilla: a Smart Contract Intermediate-Level LAnguage
Authors Sergey, Ilya and Kumar, Amrit and Hobor, Aquinas
Year 2018





Videos





Links

  • Scilla: A Smart Contract Intermediate Level Language: github repository

Coinresear.ch

  • Coinresear.ch
  • feedback@coinresear.ch

Theory and practice of cryptocurrencies