Partial Commutative Monoids + Resource Ownership is all you need

[sassa_nf]

well... almost.

https://hal.archives-ouvertes.fr/hal-01945446/file/jung2018iris.pdf

Ralf Jung is one of the biggest contributors to Rust (, memory model, type system, etc, etc, etc).

Comments

[juan_gandhi]

Thanks; added to wowiki