JavaScript is disabled for your browser. Some features of this site may not work without it.
| 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. |
|||