Stian Lybech, Daniele Gorla, Luca Aceto. Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts. In Robbert Krebbers, Alexandra Silva 0001, editors, 40th European Conference on Object-Oriented Programming, ECOOP 2026, Brussels, Belgium, June 29 - July 3, 2026. Volume 372 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.