Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich. Obsidian: Typestate and Assets for Safer Blockchain Programming. ACM Transactions on Programming Languages and Systems, 42(3), 2020. [doi]
Abstract is missing.