Cita APA (7a ed.)
Binder, D., Skupin, I., Süberkrüb, T., & Ostermann, K. (Mar 11, 2024). Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices. arXiv.org. https://doi.org/10.1145/3649846
Cita Chicago Style (17a ed.)
Binder, David, Ingo Skupin, Tim Süberkrüb, y Klaus Ostermann. "Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices." ArXiv.org Mar 11, 2024. https://doi.org/10.1145/3649846.
Cita MLA (9a ed.)
Binder, David, et al. "Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices." ArXiv.org, Mar 11, 2024, https://doi.org/10.1145/3649846.
Precaución: Estas citas no son 100% exactas.