Deriving Dependently-Typed OOP From First Principles (D. Binder I. Skupin T. Süberkrüb K. Ostermann) (2024) ([email protected]) (Paper)Noita Enola