Taming callbacks for smart contract modularity
- Albert, E.
- Grossman, S.
- Rinetzky, N.
- Rodríguez-Núñez, C.
- Rubio, A.
- Sagiv, M.
Revista:
Proceedings of the ACM on Programming Languages
ISSN: 2475-1421
Any de publicació: 2020
Volum: 4
Número: OOPSLA
Tipus: Article