1. Gradual session types. (2019) Authors: IGARASHI, ATSUSHI; THIEMANN, PETER; TSUDA, YUYA; VASCONCELOS, VASCO T.; WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗