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

DSpace Repository

Show simple item record

dc.contributor.author Ostermann, Klaus
dc.contributor.author Skupin, Ingo
dc.contributor.author Binder, David
dc.date.accessioned 2024-04-19T09:52:39Z
dc.date.available 2024-04-19T09:52:39Z
dc.date.issued 2024-03-11
dc.identifier.uri http://hdl.handle.net/10900/152907
dc.language.iso en de_DE
dc.publisher arXiv de_DE
dc.relation.uri https://doi.org/10.48550/arXiv.2403.06707 de_DE
dc.subject.ddc 004 de_DE
dc.title Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices de_DE
dc.type Preprint de_DE
utue.personen.roh Ostermann, Klaus
utue.personen.roh Süberkrüb, Tim
utue.personen.roh Skupin, Ingo
utue.personen.roh Binder, David


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