1 paper
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda +2
Session types are a rich type discipline, based on linear types, that lifts the sort of safety claims that come with type systems to communications. However, web-based applications…