It is then possible to export variables (mutable bindings) or functions (read-only bindings).
Likewise, a treatment of mutable storage would require no extensions.
To simplify the representation of records, we represent all their components as mutable reference cells, even if they are not declared mutable.
We were therefore under the genomic deleterious mutation framework with no constraint on the total number of mutable loci in the genome.
It abstracts over the type constructor constructing mutable references.
Separation logic: a logic for shared mutable data structures.
Two approaches are described; in both, signatures are treated as ordinary values, rather than as mutable components within an abstract datatype.
Reliance on underlying mutable data structures complicates parallelization, since interlocks are required to avoid interference between processors.
