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

DSpace Repositorium (Manakin basiert)

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

Autor(en): Ostermann, Klaus; Süberkrüb, Tim; Skupin, Ingo; Binder, David
Tübinger Autor(en):
Ostermann, Klaus
Skupin, Ingo
Binder, David
Erscheinungsjahr: 2024-03-11
Verlagsangabe: arXiv
Sprache: Englisch
Referenz zum Volltext: https://doi.org/10.48550/arXiv.2403.06707
DDC-Klassifikation: 004 - Informatik
Dokumentart: Preprint
Zur Langanzeige

Das Dokument erscheint in: