Carp | Veit's Blog edit / delete

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 edit / delete

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 edit / delete

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

The Rust Programming Language edit / delete

Mozilla's answer to Go, it appears.

to language-design programming rust ... on 09 April 2013

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom