Scilla: a Smart Contract Intermediate-Level LAnguage
Definitional interpreters for higher-order programming languages