Deriving Dependently-Typed OOP from First Principles

Autor(en):

Ostermann, Klaus; Binder, David; Skupin, Ingo; Süberkrüb, Tim

Tübinger Autor(en):

Erschienen in:

Proceedings of the ACM on Programming Languages (2024-04-29), Bd. 8, Issue OOPSLA1, S. 983 - 1009

Verlagsangabe:

ACM

Sprache:

Englisch

Referenz zum Volltext:

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: