Common Contracts
3 similar Session-Typed Concurrent Contracts contracts
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.
Session-Typed Concurrent ContractsSession-Typed Concurrent Contracts • April 24th, 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.
Session-Typed Concurrent ContractsSession-Typed Concurrent Contracts • February 15th, 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.
