research
∙
05/10/2022
The Move Borrow Checker
The Move language provides abstractions for programming with digital ass...
share
research
∙
10/11/2021
Robust Safety for Move
A program that maintains key safety properties even when interacting wit...
research
∙
04/10/2020
