Flint for Safer Smart Contracts. - Franklin Schrans; Daniel Hails; Alexander Harkness; Sophia Drossopoulou; Susan Eisenbach (CoRR, 2019)