Stacked borrows, an aliasing model for Rust
Paper Talk at POPL Technical Appendix Coq Formalization Artifact (with VM) ... (more…)
Read more »In my spare time I’m a volunteer with my state’s emergency services and we have our own web app for managing unit-specific things like attendance, vehicle checks, newsletters, on-call rosters, and so on.
It’s actually a really useful tool, but there is on… Read more