1. [n. d.]. Dropped Scala 2 Existential Types. https://docs.scala-lang.org/scala3/reference/dropped-features/existential-types.html Accessed 16 July 2024
2. [n. d.]. Object Safety–The Rust Reference. https://doc.rust-lang.org/reference/items/traits.html##object-safety Accessed 16 July 2024
3. Foundations of path-dependent types
4. Java and scala's type systems are unsound: the existential crisis of null pointers
5. Clément Blaudeau Didier Rémy and Gabriel Radanne. 2023. Retrofitting OCaml modules. In Journées Francophones des Langages Applicatifs (JFLA). 59–100.