Related Work (2/4)
[Pierce & Sangiorgi 93]I/O Types:In what direction a channel may be used(for input, for output, or for both)
[Kobayashi & Pierce & Turner 96]Linear Types:How many times a channel may be used(once or unlimitedly)
c:?1[int] ¢Î c:[int]/(Oco|Ico)