A new computer algebra system in pure Rust
A primitive computer algebra system. Contribute to p-e-w/savage development by creating an account on GitHub. (more…)
Read more »A Grounded Conceptual Model for Ownership Types in Rust
Programmers learning Rust struggle to understand ownership types, Rust’s core
mechanism for ensuring memory safety without garbage collection. This paper
describes our attempt to systematically design a pedagogy for ownership types.
First, we studied Rust… Read more