Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
Abstract
Publisher Copyright: © Stian Lybech, Daniele Gorla, and Luca Aceto.
Related papers
- Crystality: A Programming Model for Smart Contracts on Parallel EVMs PPoPP 2025
- Safer smart contract programming with Scilla OOPSLA 2019
- Synthesis-powered optimization of smart contracts via data type refactoring OOPSLA 2022
- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types TACAS 2021
- Extracting functional programs from Coq, in Coq JFP 2022
- A Typed Programmatic Interface to Contracts on the Blockchain APLAS 2021
- GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts TACAS 2020
- Obsidian: Typestate and Assets for Safer Blockchain Programming TOPLAS 2020