4 ms·
There was also Patina, which formalized a subset of safe Rust's semantics, though it was done on an older (pre-1.0) version of the language: ftp://ftp.cs.washi
by mbrubeck 10y ago
There was also Patina, which formalized a subset of safe Rust's semantics, though it was done on an older (pre-1.0) version of the language:
ftp://ftp.cs.washington.edu/tr/2015/03/UW-CSE-15-03-02.pdf