Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection Languages and Archit Programming LanguagesVale Programming Language 3 years ago