Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices

DSpace Repository

Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices

Author: Ostermann, Klaus; Süberkrüb, Tim; Skupin, Ingo; Binder, David
Tübinger Autor(en):
Ostermann, Klaus
Skupin, Ingo
Binder, David
Issue year: 2024-03-11
Verlagsangabe: arXiv
Language: English
Full text: https://doi.org/10.48550/arXiv.2403.06707
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Preprint
Show full item record

This item appears in the following Collection(s)