31:51

[IWACO24] Linearity, Uniqueness, Ownership: An Entente Cordiale

ACM SIGPLAN

24:04

[IWACO24] Data-Race Safety for the Masses

ACM SIGPLAN

32:24

[IWACO24] The First Six Years in the Development of Polonius, an Improved Borrow Checker

ACM SIGPLAN

31:01

[IWACO24] Ordered Types for Typestate

ACM SIGPLAN

56:23

[IWACO24] Visualizing and Explaining Rust's Ownership Model

ACM SIGPLAN

32:12

[IWACO24] Substructural Information Flow via Polymorphism

ACM SIGPLAN

29:33

[IWACO24] Modular Borrowing Without Ownership or Linear Types

ACM SIGPLAN

25:27

[IWACO24] Capabilities, Effects, Ownership, and Behaviors

ACM SIGPLAN

1:38:39

[IWACO24] Offer-safe Trade of Mutable Objects

ACM SIGPLAN