Sammendrag
Algebraic properties form a good basis for reasoning about programs,
but reasoning is made harder by the presence of references and
aliasing. Here we look at how ownership types may help in making
code more amenable to algebraic reasoning.