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
Año de publicación: 2020
Volumen: 4
Número: OOPSLA
Tipo: Artículo
