Deriving Dependently-Typed OOP from First Principles

dc.contributor.author	Ostermann, Klaus
dc.contributor.author	Binder, David
dc.contributor.author	Skupin, Ingo
dc.date.accessioned	2024-06-26T11:19:05Z
dc.date.available	2024-06-26T11:19:05Z
dc.date.issued	2024-04-29
dc.identifier.uri	http://hdl.handle.net/10900/154474
dc.language.iso	en	de_DE
dc.publisher	ACM	de_DE
dc.relation.uri	https://doi.org/10.1145/3649846	de_DE
dc.subject.ddc	004	de_DE
dc.title	Deriving Dependently-Typed OOP from First Principles	de_DE
dc.type	Article	de_DE
utue.publikation.seiten	983 - 1009	de_DE
utue.personen.roh	Ostermann, Klaus
utue.personen.roh	Binder, David
utue.personen.roh	Skupin, Ingo
utue.personen.roh	Süberkrüb, Tim
dcterms.isPartOf.ZSTitelID	Proceedings of the ACM on Programming Languages	de_DE
dcterms.isPartOf.ZS-Issue	Issue OOPSLA1	de_DE
dcterms.isPartOf.ZS-Volume	8	de_DE