Semantics. Expressions reduce according to a call-by-value strategy, for which we define evaluation contexts thus:
Appears in 6 contracts
Samples: iris.unito.it, iris.unito.it, iris.unito.it
Semantics. Expressions reduce according to a call-by-value strategy, for which we define evaluation contexts thus:
Appears in 6 contracts
Samples: iris.unito.it, iris.unito.it, iris.unito.it