26 citations · 69 across the 9 of their papers we have counts for
1 paper · 1 filter
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…