Tracing sharing in an imperative pure calculus (Extended Version)

Paola Giannini, Tim Richter, Marco Servetto +1

We introduce a type and effect system, for an imperative object calculus, which infers "sharing" possibly introduced by the evaluation of an expression, represented as an equivalen…