Deriving Dependently-Typed OOP from First Principles

DSpace Repository

Deriving Dependently-Typed OOP from First Principles

Author: Ostermann, Klaus; Binder, David; Skupin, Ingo; Süberkrüb, Tim
Tübinger Autor(en):
Ostermann, Klaus
Binder, David
Skupin, Ingo
Published in: Proceedings of the ACM on Programming Languages (2024-04-29), Bd. 8, Issue OOPSLA1, S. 983 - 1009
Verlagsangabe: ACM
Language: English
Full text: https://doi.org/10.1145/3649846
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)