TY  - RPRT
TI  - Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
AU  - David Binder
AU  - Ingo Skupin
AU  - Tim Süberkrüb
AU  - Klaus Ostermann
PY  - 2024
DO  - 10.1145/3649846
UR  - https://arxiv.org/abs/2403.06707
ID  - 2403.06707
ER  -