« earlier | later » Page 1 of 1
Lisp with Rust's (overcomplicated) linear types.
to language-design lisp rust type-systems ... on 10 December 2017
Rayon: data parallelism in Rust - Baby Steps
Safe fork-join parallelism in Rust through ownership types.
to language-design ownership parallel programming rust type-systems ... on 28 February 2016
Reasoning About the Heap in Rust
Quote: "it's still worth applying Separation logic to get a feel for what's happening to the heap". I'm kind of impressed that the Rust designers have managed to come up with a design for reference types that's *more* complex than C++'s.
to formal-methods language-design memory reference rust separation-logic ... on 03 May 2014
Mozilla's answer to Go, it appears.
to language-design programming rust ... on 09 April 2013
« earlier | later » Page 1 of 1
| - rust | |
| 1 | formal-methods |
| 4 | language-design |
| 1 | lisp |
| 1 | memory |
| 1 | ownership |
| 1 | parallel |
| 2 | programming |
| 1 | reference |
| 4 | rust |
| 1 | separation-logic |
| 2 | type-systems |
tasty by Adam Sampson.