Export
APA
ATSUSHI IGARASHI, PETER THIEMANN, YUYA TSUDA, VASCO T. VASCONCELOS, PHILIP WADLER, (2019). Gradual session types. Journal of Functional Programming, 29, ISSN 0956-7968,1469-7653. eISSN . http://dx.doi.org/10.1017/s0956796819000169
IEEE
ATSUSHI IGARASHI, PETER THIEMANN, YUYA TSUDA, VASCO T. VASCONCELOS, PHILIP WADLER, "Gradual session types" in Journal of Functional Programming, vol. 29, 2019.
10.1017/s0956796819000169
BIBTEX
@article{43715,
author = {ATSUSHI IGARASHI and PETER THIEMANN and YUYA TSUDA and VASCO T. VASCONCELOS and PHILIP WADLER},
title = {Gradual session types},
journal = {Journal of Functional Programming},
year = 2019,
volume = 29
}