dc.contributor.author |
Brachthäuser, Jonathan Immanuel |
|
dc.date.accessioned |
2024-09-12T11:26:30Z |
|
dc.date.available |
2024-09-12T11:26:30Z |
|
dc.date.issued |
2023 |
|
dc.identifier.issn |
0164-0925 |
|
dc.identifier.uri |
http://hdl.handle.net/10900/157349 |
|
dc.language.iso |
en |
de_DE |
dc.publisher |
New York : Assoc Computing Machinery |
de_DE |
dc.relation.uri |
http://dx.doi.org/10.1145/3618003 |
de_DE |
dc.subject.ddc |
004 |
de_DE |
dc.title |
Capturing Types |
de_DE |
dc.type |
Article |
de_DE |
utue.quellen.id |
20240730000000_00311 |
|
utue.personen.roh |
Boruch-Gruszecki, Aleksander |
|
utue.personen.roh |
Odersky, Martin |
|
utue.personen.roh |
Lee, Edward |
|
utue.personen.roh |
Lhotak, Ondrej |
|
utue.personen.roh |
Brachthaeuser, Jonathan |
|
dcterms.isPartOf.ZSTitelID |
Acm Transactions on Programming Languages and Systems |
de_DE |
dcterms.isPartOf.ZS-Issue |
4 |
de_DE |
dcterms.isPartOf.ZS-Volume |
45 |
de_DE |