The Tree Borrows paper is finally published (via soareschen) — discussion

#formalmethods #plt #rust