An alias-based formulation of the borrow checker (2018)

Part of

Application Security And Cryptographic Innovations