Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts.

Stian Lybech, Daniele Gorla, Luca Aceto

Browse the full ECOOP paper archive.