Session-Typed Concurrent ContractsSession-Typed Concurrent Contracts • July 1st, 2018
Quantification First-order quantification over elements of domains such as in- tegers, strings, or booleans allows ordinary basic data values to be sent and received. At the moment, since we have no type families indexed by values, the quantified variables cannot actually appear in their scope. This will change in Section 5 so we anticipate this in these rules.
