Towards a linear functional translation for borrowing
Abstract
We present a functional translation of a subset of safe Rust programs, building upon the results of Aeneas. It preserves linearity and captures a new feature, namely lifetime bounds. This is a work in progress: in particular, translation rules are not set yet. We discuss perspectives for this work at the end of the paper.
Domains
Computer Science [cs]
Origin : Files produced by the author(s)