ATS (programming language) - Wikipedia
https://en.wikipedia.org/wiki/ATS_(programming_language)Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches
https://verdagon.dev/grimoire/grimoireCurry–Howard correspondence - Wikipedia
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondenceReddit - Dive into anything
https://www.reddit.com/r/rust/comments/1127kgj/comment/j8keiqi/Substructural type system - Wikipedia
https://en.wikipedia.org/wiki/Substructural_type_systemVale's Higher RAII, the pattern that saved me a vital 5 hours in the 7DRL Challenge
https://verdagon.dev/blog/higher-raii-7drl