![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
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).
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).
