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 | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |