Deriving Dependently-Typed OOP from First Principles

DSpace Repository

Show simple item record

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


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record