Exportar referência
APA
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler, (2017). Gradual session types. Proceedings of the ACM on Programming Languages, 1, 1-28. ISSN 2475-1421. eISSN . http://dx.doi.org/10.1145/3110282
IEEE
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler, "Gradual session types" in Proceedings of the ACM on Programming Languages, vol. 1, pp. 1-28, 2017.
10.1145/3110282
BIBTEX
@article{43724,
author = {Atsushi Igarashi and Peter Thiemann and Vasco T. Vasconcelos and Philip Wadler},
title = {Gradual session types},
journal = {Proceedings of the ACM on Programming Languages},
year = 2017,
pages = {1-28},
volume = 1
}