The best review of the relevant research that I know is Pottier’s presentation[1]. It’s from 2007, but then again as far as fundamental concepts it doesn’t seem

The best review of the relevant research that I know is Pottier’s presentation[1]. It’s from 2007, but then again as far as fundamental concepts it doesn’t seem to me that Rust is state-of-the-art even as of then. (To be fair, that’s not due to ignorance, Rust’s type system is deliberately conservative.) [1] https://pauillac.inria.fr/~fpottier/slides/fpottier-2007-05-linear-bestiary.pdf https://pauillac.inria.fr/~fpottier/slides/fpottier-2007-05-...