Scilla: a Smart Contract Intermediate-Level LAnguage
Compiling with Continuations