Luca Aceto, Daniele Gorla, Stian Lybech: A Sound Type System for Secure Currency Flow. ECOOP 2024: 1:1-1:27