135
click to vote
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...