2 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
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…