2 citations · 2 across the 5 of their papers we have counts for
1 paper · 2 filters
Stian Lybech, Daniele Gorla, Luca Aceto
This paper develops semantic typing in a smart-contract setting to ensure type safety of code that uses statically untypable language constructs, such as the fallback function. The…