Atsushi Igarashi, Peter Thiemann 0001, Vasco T. Vasconcelos, Philip Wadler
Gradual session types
ICFP, 2017.
@article{ICFP-2017-IgarashiTVW,
author = "Atsushi Igarashi and Peter Thiemann 0001 and Vasco T. Vasconcelos and Philip Wadler",
doi = "10.1145/3110282",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "28",
title = "{Gradual session types}",
volume = 1,
year = 2017,
}