(function contracts). In this example we show an encoding of function contracts in the style of Findler and ▇▇▇▇▇▇▇▇▇ [2002] as session contracts. Suppose that f is a function and ›→
Appears in 3 contracts
Sources: Chaperone Contracts for Higher Order Sessions, Chaperone Contracts for Higher Order Sessions, Chaperone Contracts for Higher Order Sessions