There are several presentations on the design and mechanisms. Eg
- https://www.youtube.com/watch?v=ws-Z8xKbP4w (Val: A Safe Language to Interoperate with C++ - Dimitri Racordon - CppCon 2022)
- https://www.youtube.com/watch?v=oFupPFniD9s ([IWACO23] Borrow checking Hylo)